www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast! [ einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Suchen
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Formale Sprachen" - Erweiterung des Berechenbarkei
Erweiterung des Berechenbarkei < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Formale Sprachen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Erweiterung des Berechenbarkei: Frage (überfällig)
Status: (Frage) überfällig Status 
Datum: 19:30 Do 28.02.2008
Autor: Gilga

Aufgabe
Erweiterung des Berechenbarkeitsbegriffs wenn man reelle Zahlen zur Gödelisierung von z.B. Turingmaschinen verwendet.
Allgemeine Ideen zum Thema?

Einerseits gibt es jetzt überabzählbar viele Turingmaschinen.
Wie erreicht man jetzt eine korrekte Erweiterung?
z.B. würde ja eine Zuordung 23,3344...-> 23, also Abb. reeller Zahlen auf Natürliche ja wieder in der alten Def. enden (akzeptable Programmiersysteme)

Hat jemand eine Idee?
        
Bezug
Erweiterung des Berechenbarkei: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 20:20 Sa 01.03.2008
Autor: matux

$MATUXTEXT(ueberfaellige_frage)
Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Formale Sprachen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]