Le moteur de recherche
des thèses françaises
Philippe de Rouilhan
IdRefMots clés
FR |
EN
Philosophie de la logique
Philosophie des mathématiques
Logicisme
Argument de Lucas-Penrose
Limitation de la connaissance
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
Frege, Gottlob (1848-1925)
Représentation (philosophie)
Symbolisme -- Aspect psychologique
Contenus mentaux
Abstraction
Vérité
Déflationnisme