Brice Halimi
Mots clés
FR |
EN
Logique
Frege
Idéographie
Logicisme
Sémantique
Frege, Gottlob (1848-1925)
Philosophie des mathématiques
Mathématiques -- Philosophie
Types
Signification
Calcul
Logique mathématique
Analyse fonctionnelle
Logique combinatoire
Types abstraits de données (informatique)
Russell, Bertrand (1872-1970)
Théorie de la connaissance
Argumentation
Kant, Immanuel (1724-1804)
Grundgesetze