Quand je vois ce genre de titre, je n'ai même pas envie de lire l'article. Ce n'est pas la première fois, ni la dernière, que l'on fera dire n'importe quoi aux théorèmes de Gödel. Mais même si les physiciens s'y mettent, on n'est pas sorti de l'auberge.
De toute façon, comme je suis kantien, la question n'a même pas de sens pour moi : comme dit le petit enfant boudhiste dans le premier Matrix, « la cuillère n'existe pas ». :-P
Tu fais une thèse en théorie de la démonstration ? ou en calculabilité ? C'est là où j'y vois trois résultats fondamentaux :
théorème de complétude de Gödel
théorème d'incomplétude de Gödel
correspondance de Curry-Howard (logique intuitionniste et classique)
Théorèmes qui ne font que confirmer le cœur de la philosophie kantienne, et l'inexistence de la cuillère.
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
[^] # Re: Alerte crackpots
Posté par kantien . En réponse au lien Il est mathématiquement prouvé que nous ne vivons pas dans une simulation informatique. Évalué à 4. Dernière modification le 31 octobre 2025 à 23:12.
Quand je vois ce genre de titre, je n'ai même pas envie de lire l'article. Ce n'est pas la première fois, ni la dernière, que l'on fera dire n'importe quoi aux théorèmes de Gödel. Mais même si les physiciens s'y mettent, on n'est pas sorti de l'auberge.
De toute façon, comme je suis kantien, la question n'a même pas de sens pour moi : comme dit le petit enfant boudhiste dans le premier Matrix, « la cuillère n'existe pas ». :-P
Tu fais une thèse en théorie de la démonstration ? ou en calculabilité ? C'est là où j'y vois trois résultats fondamentaux :
Théorèmes qui ne font que confirmer le cœur de la philosophie kantienne, et l'inexistence de la cuillère.
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.