Patrice Pissavin
IdRefMots clés
FR |
EN
Argument de Lucas-Penrose
Limitation de la connaissance
Philosophie de la logique
Philosophie des mathématiques
Programme de Hilbert
Systèmes formels
Théorèmes de Gödel
Thèse de Church-Turing
Gödel, Théorème de
Formalisme (mathématiques)
Problèmes aux limites
Mathématiques -- Philosophie
Logicisme
Diffusivité thermique