Speakpigeon wrote: ↑Sat Mar 02, 2019 10:08 pm
henry quirk wrote: ↑Fri Mar 01, 2019 8:27 pm
To me: the L of I is not about the placeholder but the 'thing' the placeholder is applied to.
That's what he doesn't get even though it's basic. If he knew any logic he would know Frege and Frege wrote a detailed analysis of the difference between what a word means and what the same word refers to. Old news and still news to him.
EB
That is what you don't get even though it's basic.
You don't know what it meant to prove (In the Mathematical sense of the word) that 1 = 1, and that 99^99 = 99^99
You don't know what it means that there are integers for which "x = x" is UNDECIDABLE IN THIS UNIVERSE'S LIFETIME.
Do you know what undecidable means?
https://en.wikipedia.org/wiki/Halting_problem
Because you don't know what computational complexity is.
The computational complexity of "x = x" JUST IN THE CONTEXT OF INTEGERS is infinite.
Which means that in infinite amount of time, across an infinite number of universes "x = x" cannot be proven true even for the
INTEGERS.
But you assume it true.
Because you don't know what computational complexity is.
And you don't know that if it is infinite for the integers, it is infinitely more infinite for the natural numbers, infinitely infinitely infinitely more infinite for the real numbers. Infinitely more infinite complex numbers.
Because you don't know what computational complexity is.
AND WE HAVEN'T EVEN GOTTEN TO FUCKING ENGLISH WORDS YET. We haven't gotten to physics, chemistry, biology, human nature, phenomenology, experience!
You truly have missed the forest for the trees. You truly have mistaken the complex for the simple.
That has always been the claim of Postmodern thinkers. There is TOO MUCH meaning; There is INFINITE meaning.
Through infinity rendering truth a trivial matter!
By accepting "for all x: x = x" as an axiom you trivialize ALL truth.
Because you don't know what computational complexity is.
You conflate
identity with
value.
Philosophy without technical input is sophistry. It is because you can't reason and think for yourself is why you keep appealing to "experts".
https://repl.it/@LogikLogicus/INTEGERS
Oh wait, I forgot. Computational
logic is not your forte.
Try the English version:
http://gamahucherpress.yellowgum.com/wp ... smbook.pdf