Re: Mathematical incompleteness has always been a misconception --- philosophy of logic -- Newspeak

On 3/1/2025 1:57 PM, olcott wrote:

On 3/1/2025 12:40 PM, dbush wrote:

On 3/1/2025 1:25 PM, olcott wrote:

On 3/1/2025 12:14 PM, dbush wrote:

On 3/1/2025 12:59 PM, olcott wrote:

>
When we try the different options that Philosophy of Logic
allows and thus do not assume that the fallible humans
that created modern logic were infallible and all knowing
and thus the rules of logic that they derived are not the
infallible word-of-God then
>
we can easily get rid of both undecidability and incompleteness
by retaining the original provable(common) is the truth-maker
for true(common).
>
Wittgenstein also knew this: bottom of page 6
>
https://www.researchgate.net/ publication/333907915_Proof_that_Wittgenstein_is_correct_about_Godel
>
undecidability and incompleteness are merely an artifact
of overriding provable(common) and True(common) with
incompatible idiomatic term-of-the-art meanings.
>
*This is the same sort of idea as newspeak*
Newspeak, which is a controlled language of simplified
grammar and limited vocabulary designed to limit a person's
ability for critical thinking.
https://en.wikipedia.org/wiki/Newspeak
>

>
You say that a statement is "provable" if it contains a link to a truthmaker.
>
So what name would you give to a statement where the only connection to its truthmaker is infinite?

>
Finally a good question that is not mere trolling.
Every truth requires a truth-maker.
>
https://en.wikipedia.org/wiki/Goldbach%27s_conjecture
Also requires a truth-maker otherwise it is impossibly true.
This is not an empirical truth where we can look under
a specific rock and find the answer.
>
What are the possible ways to find the answer?
(a) Some finite sequence of steps
(b) Some infinite sequence of steps
>
else untrue.
>

>
You're saying every true statement has a truthmaker.  Fine.
>
What name would you give to a statement where the only connection to its truthmaker is infinite?

>
The generic use of the term proof(common) meaning
anything at all the shows X is definitely true.
>
Thus not the idiomatic term-of-the-art meaning
of proof(math) that is much narrower and more
restrictive.
>

 Dishonest dodge.
 What name would you give to a statement where the only connection to
its truthmaker is infinite?