On Monday, June 3, 2019 at 6:19:33 AM UTC+2, peteolcott wrote:
> "Great spirits have always encountered violent
> opposition from mediocre minds." Albert Einstein
formulate a hypothesis that doesn't violate proven theorems,
otherwise you fail, and if you repeted your claims a million
(Allgod, mathematical and natural logic, liar paradox, conclusion;
ambiguity or better flexibility, Einstein and Goedel; by the way,
Athel Cornish-Bowden; triangle of language)
Meanwhile Peter Olcott officially announced that he is God. Being God,
and the only one, he can dismiss the proven theorems of Goedel and Turing
and suffocate sci.logic and sci.lang and other fora by starting ever more
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.
If only he would stop cross-posting to sci.lang! (he promised to do so,
but he doesn't stand by his word).
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
I feel entitled to defend sci.lang from those who suffocate it with ever
more parallel threads.
(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.
(conclusion, rigid denial vs Goedel's rigor)
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.
(ambiguity or better flexibility)
The end of the world is near! This may be the warning of a preacher:
prepare yourself. Or it may be the exclamation of a housewife
addressing her hubby: How many times did I tell you to screw
back on the lid of the toothpaste tube after brushing your teeth?
I told you so for years. Now, finally, I see that you oblige. The end
of the world is near!
The same exclamation can have very different meanings. In the first
case it expresses a secret hope: if the apocalypse arrives in our
lifetime we shall go to heaven directly, without having to die,
so prepare yourself. And in the second case it formulates a reproach
in an exaggerated manner that makes it funny: you are so incredibly
obstinate that only a shockwave can move you, must be the approaching
end of the world ...
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. One of them
suggested that proven theorems of mathematics and mathematical
logic can be dismissed. Allgod thanke3d him for confirming the Truth.
Athel Cornish-Bowden is the one who suggested that proven theorems
of mathematics and mathematical logic can be dismissed. Kooks are
also found on the academic side of the fence.
(triangle of language)
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.