Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Tarski undefinability totally refuted by junior high school logic
14 views
Skip to first unread message
peteolcott
May 22, 2019, 11:15:14 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
0 new messages