Re: Cantorian pseudomathematics
MoeBlee wrote:
Han de Bruijn wrote:
MoeBlee wrote:
What axioms is Han discussing? Whatever his exact position, he just
posted his aversion to axiomatics in at least one sense.
Axioms, axioms ... I have no aversion against axioms, only against
axioms and logic _and that's it_. I find there is more to mathematics
than just axioms and logic.
Who denies this?
Jesse F. Hughes. He says that there is even *less* to mathematics than
just axioms and logic.
Han de Bruijn
.
Relevant Pages
- Re: Well Ordering the Reals
... most of the standard axioms would get scrapped ... you claim that set theory is ... theory in which to express virtually all of mathematics. ... S (call this function 'omega pre S'). ...
(sci.math) - Re: Robot Evolution
... no. Goedel proved a very limited thing about ... generated from systems of axioms "at least as ... accomplish mathematical reasoning. ... "If human reasoning about mathematics is ...
(sci.bio.evolution) - Re: Skolems Paradox and why is math the way it is?
... > This is not a job the axioms were ever meant to do. ... other person's interpretation require a winning strategy, no more, no ... I'm pretty sure than any model of set theory is intuitively ... figuring out how I tell what is real in mathematics. ...
(sci.math) - Re: Godel proved maths inconsistent not incompleteness theorem
... It's the *axioms* ... Otherwise it's not an axiomatic system. ... generator to compare to a proof checker in the first place. ... The program was to be able to rewrite all mathematics starting using ...
(sci.logic) - Re: Towards a Formula for Primes
... I generalised the concept of a system of mathematics that moves a ... By the discovery of pseudorandomness in primes, ... I recommended that the XOR function be moved ... we have all the axioms we need in an "xor transarithmetic". ...
(sci.math) |
|
