> On 21 May 2019, at 21:02, 'Brent Meeker' via Everything List > <[email protected]> wrote: > > > > On 5/21/2019 2:20 AM, Bruno Marchal wrote: >> You just invoke your God again, but the whole point of doing science, >> especially theological or metaphysics is to keep personal conviction out of >> the research. To use word like “real” is a symptom of >> pseudo-science/religion. > > Then stop using arithmetical realism.
“Realism” here is just the belief that RA axioms are true about the “well known” structure N. That is not an assumption in metaphysics, but in mathematics. Its formal correspondent is captured by the Excluded Middle Principle. It is needed to make sense of the idea that phi_i(j) converges or does not converge. We can use here a technical weakening to please the intuitionist, (~p v ~~p) but it is not necessary to do that, as an intuitionist will never say “yes” to a doctor, unless perhaps in last resort, when the choice is between a certain death or a possible survival. Bruno > > Brent > > -- > 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/3c4d5a64-f02f-bad3-b9cd-fdadf7e7026f%40verizon.net > > <https://groups.google.com/d/msgid/everything-list/3c4d5a64-f02f-bad3-b9cd-fdadf7e7026f%40verizon.net?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/EA6E865B-3C89-485A-8D52-F26A58FD7207%40ulb.ac.be.
