Skip to main content
Post Made Community Wiki
Source Link
Ketil Tveiten
  • 1.5k
  • 15
  • 21

When I took a course in set theory, I was told that in the early 1920's, Thoralf Skolem essentially proved what is now Gödel's Completeness Theorem, but was unaware of its significance because the concept of completeness was not understood fully at the time.