[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)