<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><span style="font-family:Arial,Helvetica,sans-serif">On Mon, Feb 16, 2026 at 5:03 PM Jason Resch via extropy-chat <<a href="mailto:extropy-chat@lists.extropy.org">extropy-chat@lists.extropy.org</a>> wrote:</span></div></div><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr"><br></div><div dir="ltr" class="gmail_attr"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><font size="4" face="georgia, serif"><i><span class="gmail_default" style="font-family:arial,helvetica,sans-serif">> </span>When Godel (through his theorems) realized that mathematical truths cannot be a human invention (since mathematical truth transcends any human created axiomatic system), he came to the conclusion that objects in mathematics must have some kind of objective or Platonic existence, as they could not be our own creations.</i></font></blockquote><div><br></div><div class="gmail_default" style=""><font size="4" face="tahoma, sans-serif"></font><font size="4" face="tahoma, sans-serif"><b>Godel discovered that truth is a bigger category than provability, but he didn't think that meant some things were unknowable because he didn't believe the human mind was trapped in just one single logical system, he thought we could jump out of one system and climb onto an infinite ladder of more comprehensive systems. The trouble is no logical system powerful enough to perform arithmetic can prove its own consistency; so if we keep climbing that infinite ladder as Godel suggested then there will come a time when we "prove" something and thus be absolutely positively 100% certain it is true, and still be dead wrong.  And according to the "principle of explosion"  if a logical system contains just one single contradiction then you can prove anything, you can prove that both X and not X are true, and thus the entire system becomes useless. <br><br>John K Clark</b></font></div></div><div dir="ltr" class="gmail_attr"><br></div><div dir="ltr" class="gmail_attr"><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto"><div dir="auto"><br></div></div>
</blockquote></div></div>