XPost: nl.politiek, nl.wetenschap, nl.religie   
   XPost: nl.gezondheid.psychiatrie   
   From: spansanza@gmail.com   
      
   Jos Bergervoet  wrote:   
      
   >>Historical Oversimplification: The claim that Gödel "torpedoed" Hilbert's   
   >>program is an exaggeration, as mathematics continued to thrive post-Gödel.   
   >   
   >Het feit dat Grok zelf vrijwel niets van wiskunde snapt (wat hij zelf   
   >ook altijd toegeeft) maakt zijn commentaar hier weinig relevant, maar   
   >dat hij mijn woorden opzettelijk verdraait is erger! Wat ik letterlijk   
   >schreef was "volledige axiomatisatie van de gehele wiskunde", en dat   
      
   aka "Hilbert's program".   
      
   >droombeeld van Hilbert viel dus inderdaad volkomen in het water.   
      
   Niet "volkomen", als ik de volgende wikipedia passage mag geloven:   
      
   |Many current lines of research in mathematical logic, such as proof theory   
   |and reverse mathematics, can be viewed as natural continuations of   
   |Hilbert's original program. Much of it can be salvaged by changing its   
   |goals slightly (Zach 2005), and with the following modifications some of it   
   |was successfully completed: [enz]   
      
      
      
   >Dat "mathematics continued to thrive post-Gödel" werd nergens door   
   >mij ontkend.   
      
   >Wil je bij dit soort grove fouten je AI vriendjes voortaan zelf even   
   >terechtwijzen? Je mag ze gerust een beetje helpen, dat wekt uiteindelijk   
   >een veel betere indruk in je postjes!   
      
   Ik zie hier niet zozeer een grove fout alswel een verschil in interpre-   
   tatie. En/of een hobbeltje in de Engelse vertaling.   
      
   Maar goed, genoeg spijkers op laag water gevonden voor vandaag. Op naar de   
   volgende vertoning!   
      
   --   
   Pancho   
      
   --- SoupGate-DOS v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)