[HN Gopher] Weakening Cycles So That Turing Can Halt
       ___________________________________________________________________
        
       Weakening Cycles So That Turing Can Halt
        
       Author : Kinrany
       Score  : 18 points
       Date   : 2020-05-14 21:11 UTC (1 hours ago)
        
 (HTM) web link (pling.jondgoodwin.com)
 (TXT) w3m dump (pling.jondgoodwin.com)
        
       | mpoteat wrote:
       | This was a very enjoyable read... twice. A metaphorical fugue on
       | Turing, Godel, type theory and the generalization of this
       | fundamental paradox that is Lawvere's proof. And, how it may
       | relate to the more practical problems of memory management!
       | 
       | I've been reading Permutation City recently. There has to be a
       | way to shoe horn the fundamental problem of consciousness in here
       | somewhere.
        
       | ausbah wrote:
       | wow brilliant article! I always love the connections to be made
       | between theory and computer system! are there any good reads that
       | cover topics like in detail?
        
       ___________________________________________________________________
       (page generated 2020-05-14 23:00 UTC)