|
|
Re: Eliminating Quantifiers For Dummies! A(x) E(y) ALL(t)EXIST(u)EaAb ..
Posted:
Jan 11, 2012 4:43 PM
|
|
On Jan 11, 3:26 pm, Jack Campin <bo...@purr.demon.co.uk> wrote:
> > Just to be clear, do you see the axioms of first-order group theory
> > (Mendelson's 7 axioms with their explicitly unbounded quantifiers)
> > to be a workable, alternative set of axioms for that branch of
> > mathematics we call group theory, or not.
>
> Just to be clear, do you see the axioms of Peano arithmetic to be a
> workable, alternative set of axioms for that branch of mathematics
> we call real analysis, or not?
>
Haven't you heard? The real numbers can be constructed from the set of
natural numbers. I have made a modest start to toward that end myself
using my program, proving the irrationality of the square root of 2
(previously posted here IRRC).
Dan
Download my DC Proof 2.0 software at http://www.dcproof.com
Also see "The Barber Paradox Video"
|
|
