Re: Godel proved maths inconsistent not incompleteness theorem

Charlie-Boo <shymathguy@xxxxxxxxx> writes:

On May 6, 8:07 pm, "Jesse F. Hughes" <je...@xxxxxxxxxxxxx> wrote:
Charlie-Boo <shymath...@xxxxxxxxx> writes:
There are an infinite number of theorems generated in one step?
How?

Never heard of the axiom scheme of induction?  Or regularity?  Or
separation?

An axiom scheme is not an axiom. Furthermore, if there can be an
infinite number of axioms, then we cannot write a proof generator in
general in the first place, as I said earlier. This was the case I
had in mind.

Erm, yeah, you're a pretty smart guy and all, but...

There are complete proof generators. Really, there are. I know that
such trivial concepts as "dovetailing" never crossed your mind, but
there you have it. Of course, there are cleverer prove generators
than that, but never mind.

Then it is not an axiomatic system and if it were you couldn't
program them in general anyway as I said.

Er, right.  Sure.  

It has to be r.e. You are going way beyond a list of axioms and
rules of inference. See http://en.wikipedia.org/wiki/Finitary

Silly boy.

--
"This confused and outraged many Matrix fans, who'd already spent hours
on the web explaining that man and computers could never really live
in such a state of harmony and mutual benefit."
-- http://www.pointlesswasteoftime.com
.

Relevant Pages

  • Re: A theological view on intelligent design?
    ... > the findings you will never be able to prove the basic axiom. ... Previously it seemed we'd both agreed that science wasn't concerned ... The basic axiom of there being an objective reality - or any ... > reality whatsoever - exterior to, and independent of, your mind cannot ...
    (uk.religion.christian)
  • Re: A theological view on intelligent design?
    ... the findings you will never be able to prove the basic axiom. ... The basic axiom of there being an objective reality - or any ... reality whatsoever - exterior to, and independent of, your mind cannot ...
    (uk.religion.christian)
  • Re: A theological view on intelligent design?
    ... >>> Reality exists independently of the model I construct of it ... >>> in my mind. ... in the earlier axiom? ... How do you examine a basic axiom? ...
    (uk.religion.christian)
  • Re: A theological view on intelligent design?
    ... its not possible for me to learn that your basic axiom is ... On the grounds that experience is of the mind. ... you verify or falsify this claim? ... >>>I'm not sure how my basic axiom is falsifiable, ...
    (uk.religion.christian)
  • Re: GCH vs. Axiom of Choice.
    ... |The axiom of separation says that for every existing sentence and set, ... the axiom scheme of separation doesn't talk about ... quantifier in front. ...
    (sci.math)
Quantcast