Re: Godel proved maths inconsistent not incompleteness theorem

From: William Hale <hale@xxxxxxxxxx>
Date: Thu, 27 Mar 2008 21:59:56 -0500

In article
<b6a60a2d-8427-4c0d-b82d-a43287ba6e4f@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>,
Charlie-Boo <shymathguy@xxxxxxxxx> wrote:
[cut]

Show me a proof using only ZFC axioms and you will get credit for it.

If the theorems in real analysis are not proved by just using the ZFC
axioms, the logic axioms, rules of deductions, previous theorems, and
previous definitions, what do you think are the additional axioms that
are being used in those proofs?
.

Follow-Ups:
- Re: Godel proved maths inconsistent not incompleteness theorem
  - From: Charlie-Boo

References:
- Re: Godel proved maths inconsistent not incompleteness theorem
  - From: Jesse F. Hughes
- Re: Godel proved maths inconsistent not incompleteness theorem
  - From: Charlie-Boo
- Re: Godel proved maths inconsistent not incompleteness theorem
  - From: William Hale
- Re: Godel proved maths inconsistent not incompleteness theorem
  - From: Charlie-Boo
- Re: Godel proved maths inconsistent not incompleteness theorem
  - From: Chris Menzel
- Re: Godel proved maths inconsistent not incompleteness theorem
  - From: MoeBlee
- Re: Godel proved maths inconsistent not incompleteness theorem
  - From: Chris Menzel
- Re: Godel proved maths inconsistent not incompleteness theorem
  - From: Charlie-Boo
- Re: Godel proved maths inconsistent not incompleteness theorem
  - From: Chris Menzel
- Re: Godel proved maths inconsistent not incompleteness theorem
  - From: Marshall
- Re: Godel proved maths inconsistent not incompleteness theorem
  - From: MoeBlee
- Re: Godel proved maths inconsistent not incompleteness theorem
  - From: Charlie-Boo
- Re: Godel proved maths inconsistent not incompleteness theorem
  - From: MoeBlee
- Re: Godel proved maths inconsistent not incompleteness theorem
  - From: Charlie-Boo

Prev by Date: Re: why is halting problem profound?
Next by Date: Re: Godel proved maths inconsistent not incompleteness theorem
Previous by thread: Re: Godel proved maths inconsistent not incompleteness theorem
Next by thread: Re: Godel proved maths inconsistent not incompleteness theorem
Index(es):
- Date
- Thread

Relevant Pages

Re: Godel proved maths inconsistent not incompleteness theorem
... you are using them in a standard way in CBL. ... assertion that the set of theorems is ... Any system where PR being the set of theorems satisfies the axioms. ... theorems or truths of any given system besides your say so. ...
(sci.logic)
Re: primitive recursive: obsolete?
... we have to add more axioms. ... all true sentences of arithmetic in the language of PA. ... logic we define the set of sentences true in the standard model of PA ... theorems" or not has no bearing on the fact that what I said is ...
(sci.logic)
Re: Godel proved maths inconsistent not incompleteness theorem
... It's the *axioms* ... If no more theorems to generate, ... Otherwise it's not an axiomatic system. ... The program was to be able to rewrite all mathematics starting using ...
(sci.logic)
Re: Godel proved maths inconsistent not incompleteness theorem
... It's the *axioms* ... If no more theorems to generate, ... bastardizing the notion of an axiomatic system to the point that it ... The program was to be able to rewrite all mathematics starting using ...
(sci.logic)
Re: Godel proved maths inconsistent not incompleteness theorem
... It's the *axioms* ... If no more theorems to generate, ... bastardizing the notion of an axiomatic system to the point that it ... The program was to be able to rewrite all mathematics starting using ...
(sci.logic)