Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math.independent

Topic: Matheology § 221
Replies: 3   Last Post: Feb 14, 2013 4:24 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
mueckenh@rz.fh-augsburg.de

Posts: 15,066
Registered: 1/29/05
Matheology § 221
Posted: Feb 13, 2013 11:46 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply


Matheology § 221

As I get older I seem to be getting more and more relaxed about
foundational issues. I?m happy to see people formalize and explore all
imaginable attitudes toward the foundations of mathematics. I feel
confident that the more interesting axiom systems will eventually
attract more researchers, while the less interesting ones will remain
marginal. I am not eager for one system to prevail over all others ?
nor do I feel any desire for systems I dislike to go completely
extinct. It?s a lot like my fondness for biodiversity. I enjoy the
diversity of life, and am very happy there are tigers, and would be
sad for them to go extinct, even though I wouldn?t want a bunch
running around in my back yard.
In particular, I?m glad there are ultrafinitists, because I suspect
that only someone with views like that could be motivated to prove the
inconsistency of (say) Peano arithmetic, and seek plausible strategies
for doing it.
If everyone believes Peano arithmetic is consistent, and it?s not,
we?re in big trouble because it?ll take us a long time to discover it.
So we need a few lonely people working on the other side of this
issue. I don?t think they?ll succeed, but I?m glad they?re trying.
Even if they don?t succeed, there could be some interesting concepts
and theorems that only they are likely to find.
Finally, I don?t expect these people to take the same ?relaxed,
balanced? attitude that I have. I suspect that only someone with
strong opinions could possibly be motivated to spend a lot of time
developing ultrafinitism, or trying to prove the inconsistency of
Peano arithmetic. Expecting them to share my relaxed attitude is a bit
like expecting a tiger to be an environmentalist.
[John Baez: "The Inconsistency of Arithmetic", n-Category-Cafe, Sept.
30, 2011]

Regards, WM



Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.