The Math Forum

Search All of the Math Forum:

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

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

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Torkel Franzen argues
Replies: 25   Last Post: May 17, 2013 3:52 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]

Posts: 2,720
Registered: 2/15/09
Re: Torkel Franzen argues
Posted: Apr 25, 2013 5:51 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Apr 25, 12:58 pm, FredJeffries <> wrote:
> On Apr 25, 8:25 am, Alan Smaill <> wrote:

> > Newberry <> writes:
> > > Torkel Franzen argues that all the axioms of ZFC  are manifestly true
> > > the logic apparatus is truth preserving therefore all is good and the
> > > system is consistent.

> > Really??
> > Where did he make this claim?
> In "The Popular Impact of Gödel's Incompleteness Theorem"
> he says:
> "we can easily, indeed trivially, prove PA consistent using
> reasoning of a kind that mathematicians otherwise
> use without qualms in proving theorems of
> arithmetic. Basically, this easy consistency proof observes
> that all theorems of PA are derived by valid
> logical reasoning from basic principles true of the
> natural numbers, so no contradiction is derivable in PA"

Neither infinity as axiomatized in ZF nor regularity are obviously
manifestly true. Those restrictions of comprehension where the other
axioms simply expand comprehension don't necessarily reflect, for
example, any anti-foundational sets which some would have as obviously

Finite combinatorics and Presburger arithmetic are complete (where
unbounded and not necessarily infinite), regular axiomatization, or
rather, axiomatization as regular, of infinity, is disputable.


Ross Finlayson

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

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.