XPost: comp.theory, comp.lang.c, sci.logic   
   From: polcott333@gmail.com   
      
   On 4/20/2025 11:29 AM, Richard Damon wrote:   
   > On 4/20/25 tic 1:33 AM, olcott wrote:   
   >> No counter-example to the above statement exists for all   
   >> computation and all human reasoning that can be expressed   
   >> in language.   
   >   
   > But can all Human reasoning be actually expressed in language?   
   >   
   > For instance, how do you express the smell of a rose in a finite string   
   > so you can do reasoning with it?   
   >   
      
   https://plato.stanford.edu/entries/analytic-synthetic/   
      
   all human reasoning that can be expressed in language   
    the {analytic} side of the analytic/synthetic distinction   
   that humanity has totally screwed up since   
      
   Two Dogmas of Empiricism   
   Willard Van Orman Quine   
   https://www.ditext.com/quine/quine.html   
      
   Couldn't even understand that the term Bachelor   
   as stipulated to have the semantic meaning of   
   Bachelor(x) ≡ ~Married(x) ∧ Male(x) ∧ Adult(x) ∧ Human(x)   
      
   --   
   Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius   
   hits a target no one else can see." Arthur Schopenhauer   
      
   --- SoupGate-DOS v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)