> On 21 May 2019, at 12:04, 'Cosmin Visan' via Everything List > <[email protected]> wrote: > > What about color red ?
As I just explained they belong to the phenomenology of numbers, which is derivable from the addition and multiplication laws, which lead already to Turing universality, and to the theology of the Löbian numbers (like PA) that a weaker theory (RA) emulates integrally. With mechanism, the ontology is very simple, any universal machinery can be used. I use the numbers because everyone is familiar with them. I often use combinators with more advanced students, as their Turing universality is less lengthy to prove. I made a thread on the mathematics of combinators recently. Bruno > > On Friday, 17 May 2019 21:36:50 UTC+3, [email protected] wrote: > > With mechanism, what exists are the numbers. > > -- > 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] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/a694fd70-41de-415e-8c72-69c4ad385aa6%40googlegroups.com > > <https://groups.google.com/d/msgid/everything-list/a694fd70-41de-415e-8c72-69c4ad385aa6%40googlegroups.com?utm_medium=email&utm_source=footer>. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/A10218E8-8638-4A29-ABDC-125189BFC185%40ulb.ac.be.
