Path: csiph.com!xmission!news.snarked.org!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!buffer1.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail NNTP-Posting-Date: Sun, 05 Jul 2020 22:52:21 -0500 Newsgroups: comp.theory,comp.ai.philosophy,comp.ai.nat-lang,sci.lang.semantics X-Mozilla-News-Host: news://news.giganews.com:119 From: olcott Subject: =?UTF-8?Q?Simply_defining_G=c3=b6del_Incompleteness_and_Tarski_Unde?= =?UTF-8?Q?finability_away_V24_=28axiomatic_basis_of_truth=29?= Date: Sun, 5 Jul 2020 22:52:20 -0500 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 7bit Message-ID: Lines: 32 X-Usenet-Provider: http://www.giganews.com X-Trace: sv3-f9UTPn7gq0aI4oj9kJSFeiL6vEkI/rR5E47ZBLBLp9oO6IqUYka3JZlGfxdXIss5bH0QCGY/48F+gIV!LUtEAQhC6Nf6B+nSb3/v34cOBVwq6VI+XA2yn8QZLkUAC+lJh+w3DG8AT0erbIsbskk1xx8xJwqg X-Complaints-To: abuse@giganews.com X-DMCA-Notifications: http://www.giganews.com/info/dmca.html X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.40 X-Original-Bytes: 2292 Xref: csiph.com comp.theory:21465 comp.ai.philosophy:21667 comp.ai.nat-lang:2220 On 7/5/2020 5:28 PM, David Kleinecke wrote: > On Sunday, July 5, 2020 at 2:08:57 PM UTC-7, olcott wrote: > > Then Goedel showed that that there were propositions that were true > but not provable. > He could not have possibly shown this because the lack of provability makes the expression unsound thus untrue. (1) Unless you start with premises known to be true (or axioms essentially stipulated to be true) (2) and have a complete inference chain from these premises (or a formal proof) (3) to the conclusion (or consequence) (4) then the whole argument (or WFF) is (5) unsound (or untrue). (6) The sound deductive inference model forms the correct axiomatic basis of truth making true and unprovable totally impossible. Because this is as obvious as a pie in the face and I have been saying this for three years (and no one seems to understand this junior high school level material) the universe must be playing head games with me. -- Copyright 2020 Pete Olcott