abstraction 1 adjoints 1 Albert Lautman 1 algebra 1 algebraic geometry 2 algebraic thinking 1 ampliative deduction 1 Analytic Philosophy of Mathematics 1 Arabic geometry 1 automated reasoning 1 axiomatic method 1 axiomatics 1 Bachelard, Gaston 1 Badiou, Alain 1 Begriffsschrift 1 belief 1 biography 1 Birch-Swinnerton-Dyer Conjecture 1 blind knowledge 1 Bourbaki, Nicolas (collectif) 1 Bradwardine 1 Brunschvicg, Léon 5 Canguilhem 1 Cantor’s diagonal argument 1 Carnap, Rudolf 1 cartesian insight 1 Cartier, Pierre 1 categorical logic 1 category theory 2 Cauchy 1 causality 1 Cavaillès, Jean 7 checkability 1 Châtelet, Gilles 1 cognition 2 Cohen, Paul 1 conceptual analysis 1 conceptual mathematics 1 conceptual structuralism 1 conjecture 1 conjectures 1 consciousness 1 Contemporary French epistemology 1 continuity 1 continuum 1 continuum hypothesis 1 continuum problem 1 conventionalism 1 coordination problem 1 criticism of principles 1 cryptomorphism 2 deduction from concepts 1 deep mathematical result 1 Deleuze 1 Descartes, René 2 development of mathematics 1 diagrammatic proof 1 diagrammatic reasoning 1 dialectics 1 Duhem, Pierre 1 eidetic variation 1 elliptic curves 1 empirical philosophy of mathematics 1 Enriques, Federigo 3 epistemic status of physics 1 epistemology 3 epistemology of mathematics 2 Euclide 1 falsificationism 1 Fermat’s Last Theorem 1 film 1 formal reason 1 formalization 1 formula and meaning 1 foundations 1 foundations of mathematics 8 Foundations of mathematics 1 Frege, Gottlob 1 Frege’s logic 1 French epistemology 1 French historical epistemology 1 French philosophy of mathematics 4 fruitful definitions 1 Galois 1 genetic characterization 1 geometry 1 Granger, Gilles-Gaston 2 Grothendieck, Alexander 1 Gödel, Kurt 2 Hacking 1 Herbrand, Jacques 1 heuristic philosophy of mathematics 1 Hilbert, David 2 Hilbert’s hotel 1 history of epistemology 1 history of mathematics 1 history of philosophy 1 idealism 1 identity 1 identity of mathematical objects 1 imaginary numbers 1 impossible possible worlds 1 incompleteness 1 independence 1 infinitesimals 1 intelligible unity 1 internal realism 1 intuitionism 1 James Byrnie Shaw 1 Javier de Lorenzo 1 Jean-Pierre Serre 1 Kantian logic 1 Kriyākramakarī 1 Lakatos 1 large language models 1 Lautman, Albert 4 Lawvere, F. William 3 Leibniz 1 Liu Hui 1 logic 2 logic and sequent calculus 1 Logic and theory of science 1 material anchoring 1 materially valid inference 1 mathematical concepts 2 mathematical creativity 1 Mathematical Criticism 1 mathematical criticism 1 mathematical definitions 1 mathematical depth 1 mathematical discourse 1 mathematical experience 1 mathematical explanation 2 mathematical formulas 1 mathematical intuition 1 mathematical justification 1 mathematical models 1 mathematical modernism 1 mathematical notation 1 mathematical objects 2 mathematical ontology 1 mathematical originality 1 mathematical phenomenology 1 mathematical philosophy 1 mathematical physics 1 mathematical practice 7 mathematical progress 1 mathematical proof 4 mathematical psychology 1 mathematical reality 1 mathematical reasoning 1 mathematical style 1 mathematical thinking 3 mathematical virtues 1 mathematics and nature 1 mathematics as problem-solving 1 meaning in mathematics 1 methodology 1 Michel 1 modular forms 1 Modularity Conjecture 1 neo-Kantianism 1 notation 1 number theory 1 objectivity 1 objectivity of mathematics 1 objectivity without objects 1 ontology 1 ontology of mathematics 1 opposition to metaphysics 1 partial explanation 1 partial translation 1 Penrose, Roger 1 phenomenology of mathematics 1 philosophical systems 1 philosophie mathématique 1 Philosophy and mathematics 1 philosophy of mathematical knowledge 1 philosophy of mathematical practice 2 philosophy of mathematics 2 Philosophy of mathematics 1 philosophy of mind 1 philosophy of physical mathematics 1 physics 1 pluralism 1 possibilia 1 principle of duality 1 principles of science 1 priority disputes 1 progress of mathematics 1 proof 1 proof assistants 2 proof individuation 1 proof networks 1 proof-presentations 1 pure and applied mathematics 1 Putnam 1 rational imagination 1 referential stabilization 1 reform of logic 1 reverse centaur 1 Riemann 1 Riemann surface 1 rigor 1 RTSK models 1 rule-following paradox 1 Russell, Bertrand 1 semantic externalism 1 semiotics of mathematics 1 Serge Lang 1 set theory 3 sheaf models 1 Shimura 1 stability of reference 1 structuralist semiotics 1 symbolic knowledge 1 syntax and semantics 1 synthetic a priori 1 Taniyama 1 Thom, René 1 topos 1 topos theory 1 trans-theoretical identity 1 twistor theory 1 Vuillemin, Jules 1 Weil 1 Weyl, Hermann 1 Winter, Maximilien 1 Wittgenstein 1 Zermelo–Fraenkel (ZF) 1