++ Mathe Formeln ++ Mathematik Lexikon ++ Lösungen ++ Hausaufgaben ++ Algebra ++ Lernen ++ Übungen ++ Schule ++ Geometrie ++

Navigation

Mathematik Begriffe
A B C D E
F G H I J
K L M N O
P Q R S T
U V W X Y
Z 123      
Goldkurs

Mathematik Begriff Erklärung Gödelnummer Formel Hilfe Hausaufgabeb
Gödelnummer

Eine Gödelnummer ist ein kodiertes logisches Statement welches für den Beweis Gödelschen Unvollständigkeitssatz notwendig ist. Dabei wird für jede syntaktisch korrekte logische Aussage eine eindeutige Gödelnummer definiert. Alle über die Codierung von Programmen in einer Programmiersprache definierten Aufzählungen sind daher Gödelnummerierungen.

 

Formale Definition

Eine Aufzählung \varphi \in P^2_1 heißt Gödelnummerierung, wenn es für alle g \in P^2_1 ein h existiert, so dass g = \lambda i,x[\varphi(h(i),x) ] gilt. h heißt dann Übersetzungsfunktion zu g bezüglich \varphi

siehe auch: Church-Turing-These, Gödel-Isomorphismus
Dieser Artikel ( Gödelnummer ) stammt aus Wikipedia, der freien Enzyklopädie
und steht unter der GNU Free Documentation Licence. 
+++ Mathe Formeln ++ Mathematik Lexikon ++ Lösungen ++ IMPRESSUM ++ Algebra ++ Lernen ++ Übungen ++ Schule ++ Geometrie +++