C'est parce que d'une part la philosophie en terminale est une particularité française et que d'autre part c'est incomprhénsible pour une élève de terminale. Si tu lis l'article de Martin-Lof, il explique par exemple que sa déduction des catégories est identique dans le principe à ce que les mathématiciens appellent la correspondance de Curry-Howard.
Les mathématiciens sont plus raisonnables dans la formation de la jeunesse. Personnellement, ce résultat mathématique m'a été enseigné quand j'étais en DEA (Bac +5) : je me suis dit cool, c'est comme Kant mais en plus simple. J'avais justement choisi un DEA en logique mathématique et fondement de l'informatique pour approfondir ma connaissance de la logique et mieux comprendre certains point de la Critique qui me restait obscur.
C'est comme si on disait à un élève de terminale en cours de maths : aujourd'hui on va étudier le théorème d'incomplétude de Gödel et le problème de l'arrêt de Turing, ainsi que leur incidence sur le fondement des mathématiques. Tu penses que ça se passerait bien ?
Ajoute à cela, que les enseignants de philosophie de terminale ne comprennent pas l'ouvrage eux même (Mr Phi en est le parfait exemple) et tu as le parfait cocktail pour du grand n'importe quoi.
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).
C'est parce que d'une part la philosophie en terminale est une particularité française et que d'autre part c'est incomprhénsible pour une élève de terminale. Si tu lis l'article de Martin-Lof, il explique par exemple que sa déduction des catégories est identique dans le principe à ce que les mathématiciens appellent la correspondance de Curry-Howard.
Les mathématiciens sont plus raisonnables dans la formation de la jeunesse. Personnellement, ce résultat mathématique m'a été enseigné quand j'étais en DEA (Bac +5) : je me suis dit cool, c'est comme Kant mais en plus simple. J'avais justement choisi un DEA en logique mathématique et fondement de l'informatique pour approfondir ma connaissance de la logique et mieux comprendre certains point de la Critique qui me restait obscur.
C'est comme si on disait à un élève de terminale en cours de maths : aujourd'hui on va étudier le théorème d'incomplétude de Gödel et le problème de l'arrêt de Turing, ainsi que leur incidence sur le fondement des mathématiques. Tu penses que ça se passerait bien ?
Ajoute à cela, que les enseignants de philosophie de terminale ne comprennent pas l'ouvrage eux même (Mr Phi en est le parfait exemple) et tu as le parfait cocktail pour du grand n'importe quoi.
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.