Re: Carlo Rovelli's critique of Platonism

2017-06-09 Thread Bruno Marchal
On 08 Jun 2017, at 03:34, Bruce Kellett wrote: I have just come across this paper from a year or so ago. Rovelli essentially summarizes many of my own negative feelings about mathematical platonism. https://arxiv.org/pdf/1508.1.pdf Exercise. Show that the Church-Turing-Post-Kleene th

Re: Carlo Rovelli's critique of Platonism

2017-06-08 Thread David Nyman
On 8 Jun 2017 2:35 a.m., "Bruce Kellett" wrote: I have just come across this paper from a year or so ago. Rovelli essentially summarizes many of my own negative feelings about mathematical platonism. Interesting paper, Bruce. However AFAICS he is in effect making the case for the computationali