[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)
        
 (HTM) web link (www.ingo-blechschmidt.eu)
 (TXT) 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)