Après reflexion, j'ai oublié un point. Si les professeurs de philosophie sont sans doute tenter d'aborder l'ouvrage c'est à cause de la notion de liberté, qu'il leur faut traiter dans leur programme.
Si le synthétique a priori mène à des questions sans réponses en mathématique, les propositions indécidables de Gödel et Turing, il en est de même pour le synthétique a priori en philosophie. Chez Kant cela se nomme les antinomies de la raison pure et, comme pour les mathématiques, cela se produit lorsque l'on introduit la récursivité. La plus célèbre de ces antinomies étant la troisième, connue sous sa forme populaire du problème de l'œuf et de la poule, et la réponse de Kant à la question de savoir qui vient en premier est de dire : ni l'un, ni l'autre mais l'homme est libre. :-D
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
[^] # Re: Au-delà du problème de Erdös
Posté par kantien . En réponse au lien Commentaire de gro-tsen sur la vidéo de Mr phi sur la résolution par LLM du problème de la distance unitaire. Évalué à 2 (+0/-0).
Après reflexion, j'ai oublié un point. Si les professeurs de philosophie sont sans doute tenter d'aborder l'ouvrage c'est à cause de la notion de liberté, qu'il leur faut traiter dans leur programme.
Si le synthétique a priori mène à des questions sans réponses en mathématique, les propositions indécidables de Gödel et Turing, il en est de même pour le synthétique a priori en philosophie. Chez Kant cela se nomme les antinomies de la raison pure et, comme pour les mathématiques, cela se produit lorsque l'on introduit la récursivité. La plus célèbre de ces antinomies étant la troisième, connue sous sa forme populaire du problème de l'œuf et de la poule, et la réponse de Kant à la question de savoir qui vient en premier est de dire : ni l'un, ni l'autre mais l'homme est libre. :-D
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.