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
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
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
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
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
>
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
6 matches
Mail list logo