[HN Gopher] The Undecidability of BB(748): Understanding Godel's...
___________________________________________________________________
 
The Undecidability of BB(748): Understanding Godel's Incompleteness
Theorems [pdf]
 
Author : pizza
Score  : 14 points
Date   : 2023-07-09 20:24 UTC (2 hours ago)
 
web link (www.ingo-blechschmidt.eu)
w3m dump (www.ingo-blechschmidt.eu)
 
| gerdesj wrote:
| Sentence A: "If Sentence A is true, then the Eiffel Tower is in
| Munich."
| 
| Sentence B: "If Sentence B is true, then every attempt to explain
| Goedel's Incompleteness Theorem to laypersons starts off with a
| great example".
| 
| I am being jolly unfair but then I have ploughed through GEB,
| several times, as a civilian. Actually, I suspect I will really
| enjoy this paper after reading the first couple of paras but it
| will take me some time to get to grips with.
 
___________________________________________________________________
(page generated 2023-07-09 23:00 UTC)