Le statut de la preuve chez Wittgenstein : une défense à la Girard
Pierre LIVET
Dans Wittgenstein et les mathématiques - 2004
Les cadres probatoires
Jean SALLANTIN
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Les Outils de la réflexion : Épistémologie
François DAGOGNET
Les Empêcheurs de penser en rond - 1999
Multiple-Conclusion Logic
D. J. SHOESMITH, Timothy John SMILEY
Cambridge University Press - 1978
Normativité des propositions mathématiques, inconcevabilité de leur négation, irréfutabilité par l’expérience : de vieilles remarques pour une nouvelle “manière de voir” les mathématiques ?
François SCHMITZ
Dans Wittgenstein et les mathématiques - 2004
Objecting to God
Colin HOWSON
Cambridge University Press - 2011
Penser par cas
Sous la direction de Jean-Claude PASSERON, Jacques REVEL
Éditions de l’École des Hautes Études en Sciences Sociales (EHESS) - 2005
Platon et les mathématiques
Maurice CAVEING
Dans Les Philosophies et les mathématiques - 1996
Pluralism in Mathematics : A New Position in Philosophy of Mathematics
Michèle FRIEND
Springer Science+Business Media B.V. - 2013
Preuves de la déduction automatique et analogie
Régis CURIEN
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Preuves par excellence
Jacques DUBUCS, Sandra LAPOINTE
Dans Philosophiques - 2003
Processing Information from a Set of Sources
Arnon AVRON, Jonathan BEN-NAIM, Beata KONIKOWSKA
Dans Towards Mathematical Philosophy - 2009
Proof Versus Sound Inference
Nimrod BAR-AM
Dans Rethinking Popper - 2009
Proofs and refutations. The logic of mathematical discovery
Imre LAKATOS, John WORALL, Élie G. ZAHAR
Cambridge University Press - 1976
Règles, déduction, grammaire et langage
Ryszard ZUBER
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999