Re: the need for relevance

In article <e4945$478dc546$82a1e228$5832@xxxxxxxxxxxxxxxx>, Han de Bruijn writes:
Jesse F. Hughes wrote:
Han de Bruijn <Han.deBruijn@xxxxxxxxxxxxxx> writes:

There is one and only one real world. And we _both_ live in
it. Whether you like it or deny it or not. Anything that doesn't
match with the real world is contradictory to it.

Is this the working definition, then?

A contradiction in a theory T is a statement P which does not match
with the real world.

I've been illuminating this over and over, on my website and in the
'sci.math' newsgroups. If the real world is consistent - and it IS,
because otherwise it would cease to exist - then mathematical stuff,
not giving outcomes that match with the real world, is inconsistent.

I have also explained there what "match with the real world" _means_:
there is a pathway from the Idealizations back to the physical world,
called Materialization, which is the inverse process of Idealization.
It is evident that materialization is not possible with pure fantasies,
giving kind of a watershed between the "good" and the "bad" axioms.

Which of the following axioms corresponds to the "real world"?

1. Given any straight line and a point not on it, there exists one
and only one straight line which passes through that point and
never intersects the first line, no matter how far they are extended.
2. Given any straight line and a point not on it, there exists no
straight line which passes through that point without intersecting
the first line.
3. Given any straight line and a point not on it, there exists more
than one straight line which passes through that point and never
intersects the first line, no matter how far they are extended.

Since these three axioms are contradictory, obviously only one of them
is a "good" axiom.

--
Michael F. Stemper
#include <Standard_Disclaimer>
Outside of a dog, a book is man's best friend.
Inside of a dog, it's too dark to read.

.

Relevant Pages

  • Re: the need for relevance
    ... match with the real world is contradictory to it. ... Given any straight line and a point not on it, ... Elliptic geometry is valid a great deal on a sphere, ... is interpreted as a great circle on the surface. ...
    (sci.math)
  • Re: Distinct linear orderings on Z
    ... >> The limit of length of straight line segments erected on a straight ... How do you know where on the line segments ... >> can't define curves between points. ... >> the self contradictory alternative of a curve which we can't define. ...
    (sci.math)
  • Re: .9 repeating
    ... two axioms, so that the A, B, C in one axiom have nothing to do ... If A is a point of a straight line L, ... exists at least one point F so situated that E lies between D ...
    (sci.math)
  • Re: The infintely small number b
    ... Some axioms are indeed based on observations from the physical world ... possible to "validate" most of the axioms in the physical world. ... a (straight) line and a point there is no line through the ... the answer would lead to the roots of axioms. ...
    (sci.math)