I always look forward to your tutorials in logic...even if I don't
mistake them for reality. :-)
Brent
On 7/30/2018 8:12 AM, Bruno Marchal wrote:
If some people are interested, I can show how the two axioms Kxy = x
and Sxyz (+ few legality axioms and rules, but without classical logic
(unlike Robison arithmetic) gives a Turing complete theory. I have all
this fresh in my head because I have just finished a thorough course
on this. Combinators are also interesting to explain what is a
computation and for differentiating different sorts of computation,
including already sort of “physical computation”. Yet it would be
treachery to use this directly. To distinguish 3p and 1p, and 3-1
quanta with 1-p qualia, we need to extract them from Löb’s formula,
and use Löbian combinators. I will probably type a summary here.
Bruno
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
