Re: Godel proved maths inconsistent not incompleteness theorem

Charlie-Boo <shymathguy@xxxxxxxxx> writes:

It is easy to program a finite set of axioms, which is along the lines
of the purpose of a finitary system. But if you want an infinite
number of axioms, not only are you violating the rules of an axiomatic
system, you also are not able to program it in general and you have
something not defined in an axiomatic system: a scheme for an infinite
set - as opposed to finite sets of axioms and rules that is specified
by definition of an axiomatic system.

Golly. Not a fuckin' clue.

--
Jesse F. Hughes

"Intelligence. Nothing has caused the human race so much trouble as
intelligence. Hmph. Modern marriage." -- Hitch***'s _Rear Window_

.

Loading