Gödelnummer, Gödelzahl: Natürliche Zahl, die durch ein bestimmtes Verfahren mathematische und logische Aussagen darstellt. Dazu werden Symbole wie +, -,=, ) usw. ihrerseits durch Primzahlen kodiert und diese anschließend multipliziert, sodass sie später durch Primfaktorzerlegung eindeutig rekonstruiert werden können. Gödelnummern ermöglichen es, Verzeichnisse von Formeln anzulegen und Vollständigkeits- oder Unvollständigkeitsbeweise durchzuführen._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente.
|
