## Philosophy Lexicon of Arguments | |||

Godel number: natural number that encodes mathematical and logical statements by a certain method. The symbols such as +, -, =,(, etc. are in turn encoded by primes and subsequently multiplied, so they can be uniquely reconstructed by prime factorization. Gödel numbers make it possible to create directories of formulas and perform proofs of completeness or incompleteness. | |||

Author | Item | Excerpt | Meta data |
---|---|---|---|

Logic Texts Books on Amazon |
Goedel Numbers | Re III 37 Gödel number: is to make the reference of an expression unique. |
Logic Texts Me I Albert Menne Folgerichtig Denken Darmstadt 1988 HH II Hoyningen-Huene Formale Logik, Stuttgart 1998 Re III Stephen Read Philosophie der Logik Hamburg 1997 Sal IV Wesley C. Salmon Logik Stuttgart 1983 Sai V R.M.Sainsbury Paradoxien Stuttgart 2001 |

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX file

Ed. Martin Schulz, access date 2017-04-30