Kurt Gödel Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to your username, along with other benefits.Anti-spam check. Do not fill this in! == See also == {{Portal|Biography|Philosophy}} * [[Original proof of Gödel's completeness theorem]] * [[T-norm#Prominent examples|Gödel fuzzy logic]] * [[Provability logic|Gödel–Löb logic]] * [[Gödel Prize]] * [[Gödel's ontological proof]] * [[Infinite-valued logic]] * [[List of Austrian scientists]] * [[List of pioneers in computer science]] * [[Mathematical Platonism]] * [[Primitive recursive functional]] * [[Strange loop]] * [[Tarski's undefinability theorem]] * [[World Logic Day]] * [[Gödel machine]] Summary: Please note that all contributions to Christianpedia may be edited, altered, or removed by other contributors. If you do not want your writing to be edited mercilessly, then do not submit it here. You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource (see Christianpedia:Copyrights for details). Do not submit copyrighted work without permission! Cancel Editing help (opens in new window) Discuss this page