Proofs and refutations. The logic of mathematical discovery
Élie G. ZAHAR, John WORALL
Cambridge University Press - 1976
Le raisonnement historique à l’épreuve de l’IA
Monique RENAUD
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Preuves par excellence
Sandra LAPOINTE, Imre LAKATOS, Marie-Salomé LAGRANGE
Dans Philosophiques - 2003
La cornue et l’alambic, instrument d’analyse et de preuve dans Les Doutes sur Galien de Razi
Mehrnaz KATOUZIAN-SAFADI
Dans De Zénon d’Élée à Poincaré : recueil d’études en hommage à Roshdi Rashed - 2004
Objecting to God
Colin HOWSON
Cambridge University Press - 2011
Why is There Philosophy of Mathematics At All ?
Jean-Claude GARDIN
Cambridge University Press - 2014
Pluralism in Mathematics : A New Position in Philosophy of Mathematics
Michèle FRIEND
Springer Science+Business Media B.V. - 2013
Wittgenstein sur la preuve mathématique
Pasquale FRASCOLLA
Dans Wittgenstein et les mathématiques - 2004
La preuve et le contrat
Jacques DUBUCS
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Deux positions de l’historien face aux sciences
Amy DAHAN-DALMEDICO
Dans Critique. Revue générale des publications françaises et étrangères - 2002
Les Outils de la réflexion : Épistémologie
François DAGOGNET
Les Empêcheurs de penser en rond - 1999
Preuves de la déduction automatique et analogie
Régis CURIEN
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Le logique paraconsistante
Newton C. A. da COSTA
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
La Méthode de Zadig : La trace, le fossile, la preuve
Claudine COHEN
Seuil - 2011
L'algorithmique et les sciences
Bernard CHAZELLE, Jean-Yves BÉZIAU
Collège de France - 2013