rasmafazi

↗ HN profile [ 41.8 ms ] full profile
Karma
-14
Created
June 3, 2017 (9y ago)
Submissions
0
  1. In 1931, Kurt Gödel published his incompleteness theorems. His version is a bit complicated. I will use a much simpler analogy here. Imagine that you create a table in which you store all theorems along with their…