On Sunday, March 1, 2020 at 8:02:41 AM UTC-6, Bruno Marchal wrote: > > > On 28 Feb 2020, at 19:32, Philip Thrift <[email protected] <javascript:>> > wrote: > >> >> *Real computing is computing voided of Platonism.* >> >> >> https://codicalist.wordpress.com/2018/09/30/real-computationalism/ >> >> >> Take arithmetic (encoded in the Peano axioms): >> >> *Peano axioms of natural numbers in Agda* >> https://gist.github.com/IKEGAMIDaisuke/1211203 >> >> >> What is its ultimate semantics? >> >> >> The standard model of arithmetic, which refers to what we have learned in >> school. >> >> > > So much for the mathematical educational system. It has become an > orthodox, fundamentalist divinity school. > > > Have you heard of parents taking their kids out of school after they > taught that 2 + 2 = 4? > > I am not sure what you are saying here, nor below. If you can elaborate? > > > That "2_2=4" works in Einstein's theory - and it its numerical relativity > implementations - is a matter of *mathematical pulp fictionalism*. > > https://codicalist.wordpress.com/2018/08/26/mathematical-pulp-fictionalism/ > >> >> > In a stack-based language (e.g like a FORTH variant) world 2 + 2
results in 2 on top of the stack. push 2 push + (top of stack is combined with what's below, which is empty) push 2 (stack is 2 2) vs 2 2 + (stack sequence is 2, 2 2, 4) @philipothrift -- 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/e506b816-00dc-4e2f-8033-9a9b9d3bea10%40googlegroups.com.
