Jean-Baptiste Joinet
IdRefMots clés
FR |
EN
Logique
Constructivisme
Mathématiques -- Philosophie
Logique -- Philosophie
Constructivisme (philosophie)
Théorie de la démonstration
Signification (philosophie)
Calcul
Frege
Logique mathématique
Épistémologie
Calcul quantique
Philosophie des sciences
Informatique
Calculabilité
Complexité computationnelle
Thèse de Church-Turing
Théorie de la connaissance
Physique -- Philosophie
Thèse de Church