flâneur

canon00-goedel.pdf

hirzels.com · 8,715 words · saved by 2 readers

N/A

0 About this document Gödel’s famous proof [2, 1] is highly interesting, but may be hard to understand. Some of this difficulty is due to the fact that the notation used by Gödel has been largely replaced by other notation. Some of this difficulty is due to the fact that while Gödel’s formulations are concise, they sometimes require the readers to make up their own interpretations for formulae, or to keep definitions in mind that may not seem mnemonic to them. This document is a translation of a large part of Gödel’s proof. The translation happens on three levels: • from…

saved by

related reading