On Sat, May 11, 2019, at 00:02, Bruce Kellett wrote: > On Fri, May 10, 2019 at 11:42 PM Jason Resch <jasonre...@gmail.com> wrote: >> On Fri, May 10, 2019 at 8:16 AM Bruce Kellett <bhkellet...@gmail.com> wrote: >>> >>>> Then with mechanism, we get the many-histories from a simple fact to >>>> prove: all computations are realised in all models of arithmetic. >>> >>> But arithmetic does not exist independently of the human mind, and >>> mechanism is manifestly a pipe dream. >>> >> >> You sound certain. What is your evidence? >> >> Jason > > The is no evidence for mathematical realism,
There is plenty of evidence, informally known as "the unreasonable effectiveness of math". Does this mean that mathematical realism is true? No, but then again the same applies to all promising ideas. > and mechanism is a failed idea because it cannot account for our experience. Nothing so far can account for our experience, this is why we keep having all these discussions. Telmo. > > Bruce > > -- > 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 everything-list+unsubscr...@googlegroups.com. > To post to this group, send email to everything-list@googlegroups.com. > Visit this group at https://groups.google.com/group/everything-list. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/CAFxXSLRON3vdt4GwUdvbCFnhp98Ges2OyXFAD7dgoThNomJv3w%40mail.gmail.com > > <https://groups.google.com/d/msgid/everything-list/CAFxXSLRON3vdt4GwUdvbCFnhp98Ges2OyXFAD7dgoThNomJv3w%40mail.gmail.com?utm_medium=email&utm_source=footer>. > For more options, visit https://groups.google.com/d/optout. -- 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 everything-list+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/e991a7e6-c30c-4726-b53d-ed7e68184783%40www.fastmail.com.
