Explore >> Select a destination


You are here

marcospereira.me
| | esham.io
11.4 parsecs away

Travel
| | Yet another demonstration of why you should store monetary amounts in integers.
| | www.sicpers.info
12.2 parsecs away

Travel
| |
| | pavpanchekha.com
11.2 parsecs away

Travel
| |
| | dvt.name
109.0 parsecs away

Travel
| 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 ...