Re: Linx is racistisch

Jos Bergervoet <Jos.bergervoet@xs4all.nl> 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]

<https://en.wikipedia.org/wiki/Hilbert%27s_program>

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