XPost: comp.theory, sci.logic, sci.math   
   From: polcott333@gmail.com   
      
   On 12/29/2025 9:51 PM, Richard Damon wrote:   
   > On 12/29/25 6:28 PM, olcott wrote:   
   >> On 12/29/2025 5:06 PM, Richard Damon wrote:   
   >>> On 12/29/25 4:38 PM, olcott wrote:   
   >   
   >>>>   
   >>>> There exists a sequence of inference steps from   
   >>>> the axioms of a formal system that prove that   
   >>>> they themselves do not exist.   
   >>>   
   >>> Right, there is an INFININTE string of inference steps in the base   
   >>> theory that shows that no FINITE string of inference steps to show it.   
   >>>   
   >>   
   >> Rene Descartes said: "I think therefore I never existed".   
   >>   
   >> There is no sequence of inference steps that   
   >> prove they themselves do not exist.   
   >>   
   >> There is no sequence of inference steps that   
   >> prove they themselves do not exist.   
   >>   
   >> There is no sequence of inference steps that   
   >> prove they themselves do not exist.   
   >>   
   >> There is no sequence of inference steps that   
   >> prove they themselves do not exist.   
   >>   
   >> There is no sequence of inference steps that   
   >> prove they themselves do not exist.   
   >>   
   >> That is all that Gödel ever proved.   
   >> That is all that Gödel ever proved.   
   >> That is all that Gödel ever proved.   
   >> That is all that Gödel ever proved.   
   >> That is all that Gödel ever proved.   
   >>   
   >>   
   >   
   > In other words, you are just showing that you don't know what you are   
   > talking about and thus going into non-sense,   
   >   
      
   ...We are therefore confronted with a proposition   
   which asserts its own unprovability. 15 … (Gödel 1931:40-41)   
      
   Correctly paraphrased as:   
   a sequence of inference steps from axioms   
   that assert that they themselves do not exist.   
      
   Gödel, Kurt 1931.   
   On Formally Undecidable Propositions of   
   Principia Mathematica And Related Systems   
      
   > As I said, and you were too stupid to understand, there is a finite   
   > sequence of steps in the META systen that show that there is an INFINITE   
   > sequence of steps in the system that show there is not a FINITE sequence   
   > of steps in the system to prove it.   
   >   
   > It seems to you, infinity is finite, and thus your mind is just ZERO.   
   >   
   > Of course, you never let facts get in the way of your stupidity.   
   >   
      
      
   --   
   Copyright 2025 Olcott

   
      
   My 28 year goal has been to make 
   
   "true on the basis of meaning expressed in language"
   
   reliably computable.

   
      
   This required establishing a new foundation
   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)