Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Tarski undefinability totally refuted by junior high school logic
2 views
Skip to first unread message
peteolcott
May 22, 2019, 11:14:11 PM5/22/19
to
Sound deductive inference necessitates true conclusions
therefore sound deductive inference applied to formal
proofs of mathematical logic necessitates true consequences.
The above sentence is 100% of totally all that is needed to
define the True(x) the Tarski "proved" to be impossible to define.
--
Copyright 2019 Pete Olcott All rights reserved
"Great spirits have always encountered violent
opposition from mediocre minds." Albert Einstein
therefore sound deductive inference applied to formal
proofs of mathematical logic necessitates true consequences.
The above sentence is 100% of totally all that is needed to
define the True(x) the Tarski "proved" to be impossible to define.
--
Copyright 2019 Pete Olcott All rights reserved
"Great spirits have always encountered violent
opposition from mediocre minds." Albert Einstein
peteolcott
Aug 1, 2019, 11:44:57 AM8/1/19
to
On 5/22/2019 10:14 PM, peteolcott wrote:
> Sound deductive inference necessitates true conclusions
> therefore sound deductive inference applied to formal
> proofs of mathematical logic necessitates true consequences.
>
> The above sentence is 100% of totally all that is needed to
> define the True(x) the Tarski "proved" to be impossible to define.
>
>
The Wittgenstein minimal essence of the 1931 GIT
> Sound deductive inference necessitates true conclusions
> therefore sound deductive inference applied to formal
> proofs of mathematical logic necessitates true consequences.
>
> The above sentence is 100% of totally all that is needed to
> define the True(x) the Tarski "proved" to be impossible to define.
>
>
P ↔ RS⊬P
T F F
F F T
0 new messages