 
      
    | You are here | marcospereira.me | ||
| | | | | esham.io | |
| | | | | Yet another demonstration of why you should store monetary amounts in integers. | |
| | | | | www.sicpers.info | |
| | | | | ||
| | | | | pavpanchekha.com | |
| | | | | ||
| | | | | dvt.name | |
| | | Gödel's incompleteness theorems have been hailed as "the greatest mathematical discoveries of the 20th century" - indeed, the theorems apply not only to mathematics, but all formal systems and have deep implications for science, logic, computer science, philosophy, and so on. In this post, I'll give a simple but rigorous sketch of Gödel's First Incompleteness ... | ||