Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > sci.math > #413269

Re: Hiilbert and Cantor's paradise

From Alan Mackenzie <acm@muc.de>
Newsgroups sci.math
Subject Re: Hiilbert and Cantor's paradise
Date 2018-05-17 18:32 +0000
Organization muc.de e.V.
Message-ID <pdkhsm$2lpe$2@news.muc.de> (permalink)
References (5 earlier) <cdeb2dbe-797c-4d2e-aff9-0b0bf98698af@googlegroups.com> <pde0cv$jpp$1@news.muc.de> <bfcf0b5a-5340-445a-a027-635cf326956e@googlegroups.com> <pdfd52$2oat$2@news.muc.de> <bf8f8ab1-d16a-4310-af94-b16f04da0d66@googlegroups.com>

Show all headers | View raw


David Petry <davidlpetry@gmail.com> wrote:

> Alan Mackenzie wrote:

>> the finest product of mathematical genius" and "the most admirable
>> blossom of mathematical spirit" aren't different things in practice,
>> or in the real world.

> This might make things clearer.

No, your attempted derailling of the discussion is mere sophistry.

> It is well know that Kurt Godel "proved" the existence of God.  The
> "proof" had the axiom-definition-theorem-proof format.  So it was "in
> the spirit of" mathematics.

Rubbish.  It might have had the formalism of maths but certainly not its
spirit.

> But most mathematicians wouldn't accept the proof as a mathematical
> proof, so we couldn't say it was a product of "mathematical genius".
> Although we could say that it was a non-mathematical product of *a*
> mathematical genius.

> Even native speakers of English might not agree with me.

It's very hard to agree with such an obscure, irrelevant diversion.

By the way, do you understand proof by contradiction?  You never
clarified that point in the other discussion.

-- 
Alan Mackenzie (Nuremberg, Germany).

Back to sci.math | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread


Thread

Hiilbert and Cantor's paradise David Petry <davidlpetry@gmail.com> - 2018-05-12 13:26 -0700
  Re: Hiilbert and Cantor's paradise "Shobe, Martin" <martin.shobe@yahoo.com> - 2018-05-12 20:24 -0500
    Re: Hiilbert and Cantor's paradise David Petry <davidlpetry@gmail.com> - 2018-05-13 14:59 -0700
      Re: Hiilbert and Cantor's paradise "Shobe, Martin" <martin.shobe@yahoo.com> - 2018-05-13 20:22 -0500
        Re: Hiilbert and Cantor's paradise WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-14 00:54 -0700
          Re: Hiilbert and Cantor's paradise "Shobe, Martin" <martin.shobe@yahoo.com> - 2018-05-14 19:17 -0500
          Re: Hiilbert and Cantor's paradise David Petry <davidlpetry@gmail.com> - 2018-05-14 21:00 -0700
            Re: Hiilbert and Cantor's paradise Alan Mackenzie <acm@muc.de> - 2018-05-15 06:57 +0000
              Re: Hiilbert and Cantor's paradise WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-15 06:04 -0700
                Re: Hiilbert and Cantor's paradise Alan Mackenzie <acm@muc.de> - 2018-05-15 19:41 +0000
                Re: Hiilbert and Cantor's paradise "Shobe, Martin" <martin.shobe@yahoo.com> - 2018-05-15 19:54 -0500
                Re: Hiilbert and Cantor's paradise Python <python@python.invalid> - 2018-05-16 03:04 +0200
                Re: Hiilbert and Cantor's paradise David Petry <davidlpetry@gmail.com> - 2018-05-16 17:53 -0700
                Re: Hiilbert and Cantor's paradise "Ross A. Finlayson" <ross.finlayson@gmail.com> - 2018-05-16 20:44 -0700
                Re: Hiilbert and Cantor's paradise Alan Mackenzie <acm@muc.de> - 2018-05-17 18:32 +0000
                Re: Hiilbert and Cantor's paradise David Petry <davidlpetry@gmail.com> - 2018-05-18 21:56 -0700
                Re: Hiilbert and Cantor's paradise Alan Mackenzie <acm@muc.de> - 2018-05-20 18:54 +0000
                Re: Hiilbert and Cantor's paradise David Petry <davidlpetry@gmail.com> - 2018-05-20 12:13 -0700
                Re: Hiilbert and Cantor's paradise bursejan@gmail.com - 2018-05-20 14:15 -0700
                Re: Hiilbert and Cantor's paradise bursejan@gmail.com - 2018-05-20 14:21 -0700
                Re: Hiilbert and Cantor's paradise bursejan@gmail.com - 2018-05-20 14:26 -0700
              Re: Hiilbert and Cantor's paradise FredJeffries <fredjeffries@gmail.com> - 2018-05-15 08:47 -0700
            Re: Hiilbert and Cantor's paradise "Shobe, Martin" <martin.shobe@yahoo.com> - 2018-05-15 20:09 -0500
              Re: Hiilbert and Cantor's paradise David Petry <davidlpetry@gmail.com> - 2018-05-16 17:57 -0700
                Re: Hiilbert and Cantor's paradise "Shobe, Martin" <martin.shobe@yahoo.com> - 2018-05-16 20:39 -0500
                Re: Hiilbert and Cantor's paradise David Petry <davidlpetry@gmail.com> - 2018-05-16 20:02 -0700
                Re: Hiilbert and Cantor's paradise "Shobe, Martin" <martin.shobe@yahoo.com> - 2018-05-17 06:56 -0500
    Re: Hiilbert and Cantor's paradise "Ross A. Finlayson" <ross.finlayson@gmail.com> - 2018-05-15 13:55 -0700
  Re: Hiilbert and Cantor's paradise bursejan@gmail.com - 2018-05-12 18:50 -0700

csiph-web