Re: Godel's proof, truth, reality, self-awareness, and all that jazz



On 16 Sep., 14:58, "T.H. Ray" <thray...@xxxxxxx>
wrote:

THR:
As working mathematicians here agree, mathematics
IS
a liberal art. Get that point. No amount of
braying
that you and Petry can do, changes the fact. Other
facts
impinge: 1. Mathematical results often precede
physical
modeling based on those results (Riemannian
geometry,
e.g.)

Strange that nobody has use for finished infinity.



Apparently, you are innocent of analysis.


Perhaps, you would say,no map could be drawn
unless
some
explorer actually measured the physical terrain
by
some
arbitrary standard--a meter stick or the length
of
his
footsteps. Consider that if this were true (it
isn't),
Einstein would not have had available to him
the
Riemannian geometry--the 4-dimensional
Pythagorean
Theorem
that cannot be "actually observed"--by which to
pattern
general relativity. Or consider the
probabilistic
models
by which we explain the "actual observation" of
the
behavior of light (and thus, quantum mechanics)
in
Thomas
Young's 2-slit experiment. One doesn't observe
the
path
that a particle didn't take,

because there is no particle and no path that it
did
not take

yet it turns out to be
important to understanding the theory.

WM:
That only seems so if one does not understand the
theory.

THR:
Huh? I would entertain a lecture from you on
quantum
mechanics. With sources.

There are most reliable *sources*, namely such which
release only a
single photon at a time. Experiments show that a
photon can only
interfere with itself (Dirac). Therefore we find that
a photon is
neither a particle nor a wave but something
intermediate which we have
no pictures for. Yes, you could learn such things in
my lessons (but
only in the summer semester).


Just exactly what does the principle of exclusion
(Pauli) have to do with the mathematics of probability
that characterize quantum mechanics? You might want
to take a harder look at your syllabus.

Some little research and reflection will inform
you
that
MOST of what we objectively know cannot be
actually
observed.

WM:
Without observation we would know not more about
reality than the old
Greek who did not perfrom experiments.

THR:
Archimedes?

Was accused to prove by experiment his formulas (as
the saying is).
Found his famous density formula by self-experiment
(in the bath).

> Hero? Perhaps you mean the Greek
PHILOSOPHERS, a la Aristotle.

Yes, those before Archimedes (and many after him).

You are certainly not
referring to the scientists. As far as the
geometers,
Euclid et al, I dare say they were far more
acquainted
with reality than the narrow reality you have
defined
for yourself.

Euclid nearly never gave any practical calculation
but only derived
the formulas. Eratosthenes was quite different. So I
have to modify my
statement. It should read "many old Greek" instead of
"the old Greek".

Yeah, sure. Your claim is well demonstrated to be
false. I would drop it.

WM:
In both cases we have an approximation of truth.
In
bothcases we have
scientific characteristics. (Of course I include
only
real mathematics
here.)

THR:
Your limited personal definition of "real
mathematics"
limits your result to what you personally believe
is true.

No, to what can be verified by experiment, like 2
apples and 3 bananas
= 5 fruits.

As Paulos said (in _Innumeracy_ IIRC), two cups of
popcorn and two cups of water does not amount to four
cups of soggy popcorn. Your examples are naive in the
extreme.


Mathematical theorems, OTOH, are explicitly
confined to
the domain in which they are true, and the
results
derived
therefrom explicitly live in the range of that
domain.

WM:
Nevertheless they should be subject to the most
rigorous attempts to
prove them wrong.

THR:
They are! Check the literature.

Oh I know it from own experience. Check for instance:
http://groups.google.com/group/sci.math/browse_frm/thr
ead/16ebf68a5cc3b373?scoring=d&hl=de


Sorry, I don't know what mean at all, by referencing
your own thread.

Mathematics is a liberal art. Until one grasps
this fact,
one does not know enough mathematics to have "a
view" of
what one personally believe mathematics "should
be."

WM
Unless you take my view you have no view. Roma
locuta, cause finita
est!

Regards, WM

THR:

As I have said and supported repeatedly, that
mathematics
is a liberal art is NOT "my view." It is a fact

A fact like A <==> non-non-A?

Regards, WM



A = ~~A is the actual expression. That is, A is
identical to not-not-A. I don't know what you
even trying to say here. I find it incoherent.

Tom
.



Relevant Pages

  • Re: Marie Jean Faucounau sues me for at least 8,487 Swiss Francs
    ... a wonderful and clever tool of early mathematics. ... > at Paris, and so they exhibited their paintings in a free, ... Aristotle was a fool. ... >> On the other hand, he was a Greek, even that fool Aristotle was ...
    (sci.archaeology)
  • Re: Marie Jean Faucounau sues me for at least 8,487 Swiss Francs
    ... geometry and mathematics, and what they threw before me were ... On the other hand, he was a Greek, even that fool Aristotle was ... Now Julio took ... >> widely, and moron. ...
    (sci.archaeology)
  • Re: This Weeks Finds in Mathematical Physics (Week 221)
    ... >and mathematics, with a lot of innovation in astrolabes. ... medieval Europe learned a lot of Greek science by reading Latin ... >translations of Arab translations of Syriac translations of ... They were all lost. ...
    (sci.physics.research)
  • Re: This Weeks Finds in Mathematical Physics (Week 221)
    ... >and mathematics, with a lot of innovation in astrolabes. ... medieval Europe learned a lot of Greek science by reading Latin ... >translations of Arab translations of Syriac translations of ... They were all lost. ...
    (sci.math.research)
  • Re: Raatikainens critique of Chaitin
    ... >> there is randomness in arithmetic, that there are certain facts in ... >> This in fact is a great insight into ... >> the nature of mathematics, as it destroys the Greek idea of ... > What does it mean to say that Chaitin's insight destroys the Greek ...
    (comp.theory)