In che modo il combinatori Y esemplifica "Incoerenza del calcolo Lambda"?
-
04-11-2019 - |
Domanda
Nella pagina Wikipedia per Combinatori a punti fissi è scritto il testo piuttosto misterioso
Il combinatori Y è un esempio di ciò che rende incoerente il calcolo Lambda. Quindi dovrebbe essere considerato con sospetto. Tuttavia è sicuro considerare il combinatori Y se definito solo nella logica matematica.
Sono entrato in una sorta di romanzo spia? Ciò che nel mondo si intende per le dichiarazioni che $ lambda $ -calculus è "Incoerente" E che dovrebbe essere "considerato con sospetto"?
Nessuna soluzione corretta
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a cs.stackexchange