Forums before death by AOL, social media and spammers... "We can't have nice things"
|    sci.logic    |    Logic -- math, philosophy & computationa    |    262,912 messages    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
|    Message 262,901 of 262,912    |
|    Mikko to Tristan Wibberley    |
|    Re: Making all knowledge expressed in la    |
|    17 Feb 26 11:16:59    |
      From: mikko.levanto@iki.fi              On 17/02/2026 00:59, Tristan Wibberley wrote:       > On 16/02/2026 11:31, Mikko wrote:       >> On 15/02/2026 20:08, Tristan Wibberley wrote:       >>> On 15/02/2026 09:18, Mikko wrote of Olcott:       >>>       >>>> That an inifinite sent cannot be in a finite graph may exceed your       >>>> technical knowledge but certainly doesn't everyone else's.       >>>       >>> It can with a paradoxical combinator as a node datum.       >>       >> How?       >       > The so-called "paradoxical combinators" can be used to construct the       > most famous of their number, the "Y" combinator. That describes looping       > in a straightforward way so we can know that a DAG which includes a       > representation of the application of the Y combinator to an applicative       > object describes a--possibly infinite--loop.       >       > That is very uncontroversial, standard knowledge in combinatory logic       > and lambda analysis since before the second world war, and common in       > pure functional computer programming hobby activities today.              How is there an infinite set in that DAG ?              --       Mikko              --- SoupGate-Win32 v1.05        * Origin: you cannot sedate... all the things you hate (1:229/2)    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
(c) 1994, bbs@darkrealms.ca