Re: Peano Axioms are wrong (at least in our universe)

2016-09-20 Thread Bruno Marchal
On 20 Sep 2016, at 06:18, Brent Meeker wrote: On 9/19/2016 7:26 PM, Russell Standish wrote: On Sun, Sep 18, 2016 at 11:54:04PM +0200, smitra wrote: https://www.youtube.com/watch?v=nK6XawDE8_U Just finished watching Norm's video, and one thing really struck me. The process of factoring

Re: Peano Axioms are wrong (at least in our universe)

2016-09-20 Thread Bruno Marchal
On 20 Sep 2016, at 02:56, Russell Standish wrote: On Mon, Sep 19, 2016 at 04:18:21PM +0200, Bruno Marchal wrote: On 18 Sep 2016, at 23:54, smitra wrote: https://www.youtube.com/watch?v=nK6XawDE8_U I was hoping seeing Nelson's more or less recent proof of the inconsistency of Peano

Re: Peano Axioms are wrong (at least in our universe)

2016-09-19 Thread Brent Meeker
On 9/19/2016 7:26 PM, Russell Standish wrote: On Sun, Sep 18, 2016 at 11:54:04PM +0200, smitra wrote: https://www.youtube.com/watch?v=nK6XawDE8_U Just finished watching Norm's video, and one thing really struck me. The process of factoring numbers of the form 10^n+23 is generating vast

Re: Peano Axioms are wrong (at least in our universe)

2016-09-19 Thread Russell Standish
On Sun, Sep 18, 2016 at 11:54:04PM +0200, smitra wrote: > https://www.youtube.com/watch?v=nK6XawDE8_U > Just finished watching Norm's video, and one thing really struck me. The process of factoring numbers of the form 10^n+23 is generating vast amounts of complexity, as n increases. I hadn't

Re: Peano Axioms are wrong (at least in our universe)

2016-09-19 Thread Russell Standish
On Mon, Sep 19, 2016 at 04:18:21PM +0200, Bruno Marchal wrote: > > On 18 Sep 2016, at 23:54, smitra wrote: > > >https://www.youtube.com/watch?v=nK6XawDE8_U > > > I was hoping seeing Nelson's more or less recent proof of the > inconsistency of Peano Arithmetic, which was enough convincing to >

Re: Peano Axioms are wrong (at least in our universe)

2016-09-19 Thread Bruno Marchal
On 18 Sep 2016, at 23:54, smitra wrote: https://www.youtube.com/watch?v=nK6XawDE8_U I was hoping seeing Nelson's more or less recent proof of the inconsistency of Peano Arithmetic, which was enough convincing to require some good logician to find out the precise error, that Nelson