Skip to content

Latest commit

 

History

History
3 lines (2 loc) · 342 Bytes

README.md

File metadata and controls

3 lines (2 loc) · 342 Bytes

Godel's Incompleteness Theorems

I was disappointed by all the explanations of Godel's theorems I've seen on the web, all of them being either too basic or far too complex. So I made my own, in which the actual means by which the proof was accomplished is detailed. See it here.