Ex falso quodlibet - from a flawed logic you can derive antything. Why don't
you for a change look at quantum physics? Do you know Heisenberg's uncertainty
relation? You can measure exactly the position of a particle, or the speed
of that particle, but not both together. There is a principal uncertainty
you can't avoid, nobody can avoid.
Hyperkooks take over, dominate and finally ruin a forum by
starting up to five threads a day (sci.logic, sci.math, humanities.
lit.authors.shakespeare and others). I develop a counter-strategy
against their HIV strategem. A member of sci.logic accused PO
of having ruined several fora "singlehandedly."
Meanwhile Peter Olcott officially announced that he is God, repeatedly
and in all earnest. Being God, and the only one, he can discard proven
proven theorems of mathematical logic (Goedel, Turing ) and suffocate
sci.logic and sci.lang and other fora by starting ever more parallel threads.
(lesson on logic, fatal deficit of academe)
I see the main problem in academe that has no clear idea of logic, or rather
a one-sided one, regarding mathematical logic as logic per se. Mathematical
logic is the logic of building and maintaining based on the formula a = a
while there is a wider logic formulated by Goethe: All is equal, all unequal ...,
known to artists of all times.
Goedel is very hard to understand for laymen when you consider mathematical
logic the only real logic, but most easy when you have a look at both sides.
Goedel proved that mathematics can't really and completely be separated from
general logic and the principle of equal unequal, it can only be secured
from case to case, for example divisions by zero are forbidden. Why? these
divisions yield infinite, which is equal unequal in itself. If you restrict logic
to mathematical logic you encounter paradoxa, which are quite natural
in the real world.
The problem is academe. Universities are not really universal. Allgod tries
to solve the problem by cramming the realm of wider logic (that includes
for example language) into mathematical logic, hoping he will thus regain
totality and completeness - absolute and complete and total being his
mantra words - and does it for the price of his career and sanity.
The logic of equal unequal blossoms in language. Allgod can't have that,
He tries to force language into the logic of a = a with his "mathematics
of the meaning of words" that led him nowhere. He castrates language
in the name of mathematical logic, and mathematical logic by dismissing
(on the liar paradox)
A Cretan says all Cretans are liars. He is right. Psychologists found that
we are lying many times a day, and in different ways. We humans are liars,
Cretans are humans, ergo they are liars. QED. The famous liar paradox arises
when the natural logic of equal unequal is reduced to the mathematical logic
of a = a. A liar is a liar, alaways lying, only ever lying. But such a person
does not exist in the real world, on the contrary, a professional liar cares
to tell the truth as often as ever possible in order to gain the confidence
of a potential victim.
(rigor vs rigid denial)
Allgod tries to reduce natural logic to mathematical logic, however,
he can't escape the equal unequal, it haunts him in the form of
proven = proven = not proven. He replaces Goedel's rigor with
his naive but rigid denial. Every advice to come down from his trip
and write a modest but useful program that may then be extended
was in vain. He is a satellite that flies too low, destined to burn out
in the atmosphere. All warning failed.
(can sunshine be sweet and chubby?
Yes, if a mother calls her toddler 'my sunshine, my sweet little chubby
sunshine'. Language is flexible, the meaning of words can't be reduced
to 'semantic atoms', and, what Pater Rupert Ruhstaller OSB told me
in a private lesson: speakers find a way around any rule.
Ambiguity or better flexibility is the genius of natural language
that escapes from the cage of any formal system.
(Einstein and Goedel)
Einstein and Goedel were good friends who held each other's work
in high esteem. What would Einstein say about a naive Goedel denier?
(by the way)
I defend sci.lang also against those who can only argue on meta-levels
and drop verdicts from above instead of leading a topic discussion.
Kooks are also found on the academic side of the fence. ACB suggested
that proven theorems of mathematics can be discarded (referring to
Andrew Wiles without knowing the story en détail). Allgod thanked him
for confirming the Truth. Blasphemy (the claim of being God) and
pseudo-logic are correlated. Neither one took back his claim or
(triangle of language, briefest summary of half a century of research)
Word language can be seen as a triangle whose corners are life with
needs and wishes / mathematics as logic of building and maintaining
based on a = a / and art as human measure in a technical world,
based on Goethe's world formula and ever turning key 'All is equal,
all unequal ...', a formula known to artists of all times.
(book of nature, divine library)
Famous dictum by Galileo Galilei: The book of nature is written
in the language of mathematics ... Well, God may understand all
of nature in mathematical terms, while we humans deciphered only
the first lines on the first page in the first volume on the first shelf
in the first hall of the divine library.