> On 1 Mar 2020, at 19:11, Philip Thrift <[email protected]> wrote: > > > > 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/ >>> <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 >>> <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/ >> <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)
So, FORTH seems to confirm what I say, apparently. It is just that FORTH use a different language to say the same truth. It says 2 2 + instead of 2 + 2. That shows the importance in distinguish the language (conventional) from the truth (not conventional). I did not expect less from FORTH, one of the oldest and cutest universal number (aka Turing universal system) :) Bruno > > @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] > <mailto:[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 > > <https://groups.google.com/d/msgid/everything-list/e506b816-00dc-4e2f-8033-9a9b9d3bea10%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/808E0F28-1C93-490A-B71F-FE0B22219E23%40ulb.ac.be.
