Comments on Encore une tentative pour expliquer Gödel

JML (2019-04-10T12:32:36Z)

Les théorèmes de Gödel c'est pas comme le vélo : j'y passe quelques heures, je comprends à nouveau très bien, puis comme je ne m'en sers pas, quelques mois ou années plus tard je suis revenu à « zut, comment ça marche et qu'est-ce que ça dit précisément ».
Ton entrée a le mérite de bien démêler les confusions entre les différents niveaux, ça va accélérer le processus pour la prochaine fois :)

Bob (2019-04-10T10:37:29Z)

Excellent, ces clarifications sont très précieuses pour ceux qui, comme moi, s'intéressent à (mais ne sont certainement pas spécialistes de) la logique formelle!


You can post a comment using the following fields:
Name or nick (mandatory):
Web site URL (optional):
Email address (optional, will not appear):
Identifier phrase (optional, see below):
Attempt to remember the values above?
The comment itself (mandatory):

Optional message for moderator (hidden to others):

Spam protection: please enter below the following signs in reverse order: 6042d4


Recent comments