Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

Semantic Tautologies

0 views
Skip to first unread message

peteolcott

unread,
May 11, 2019, 6:14:56 PM5/11/19
to
Within the correctly combined semantic meaning of conventional
{formal proofs of mathematical logic} and conventional {sound deductive inference}
every undecidable sentence of conventional {formal proofs of mathematical logic}
is deductively unsound.

This is true in the same way that 5 > 3 is true, it is a semantic tautology.

Deductively Sound Formal Proofs
https://www.researchgate.net/publication/332864362_Deductively_Sound_Formal_Proofs

--
Copyright 2019 Pete Olcott
All rights reserved
0 new messages