Processing Information from a Set of Sources
Arnon AVRON
In Towards Mathematical Philosophy - 2009
Proof Versus Sound Inference
Nimrod BAR-AM
In Rethinking Popper - 2009
Apprendre la preuve
Nicolas BELACHEFF
In Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Vers un démonstrateur adaptatif
Catherine BELLEANNÉE, Jonathan BEN-NAIM
In Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Le noyau logique des mathématiques : À partir de Frege
Ali BENMAKHLOUF
In Le formalisme en action - 2013
Appliquer
Jocelyn BENOIST
In Le formalisme en action - 2013
Le logique paraconsistante
Jean-Yves BÉZIAU
In Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
L'Autre École d'Iéna : Critique, métaphysique et psychologie chez Jakob Friedrich Fries
Christian BONNET
Classiques Garnier - 2013
Platon et les mathématiques
Maurice CAVEING
In Les Philosophies et les mathématiques - 1996
L'algorithmique et les sciences
Bernard CHAZELLE
Collège de France - 2013
La Méthode de Zadig : La trace, le fossile, la preuve
Newton C. A. da COSTA
Seuil - 2011
Preuves de la déduction automatique et analogie
Régis CURIEN
In 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
Deux positions de l’historien face aux sciences
Amy DAHAN-DALMEDICO
In Critique. Revue générale des publications françaises et étrangères - 2002
Preuves par excellence
Jacques DUBUCS, C’H Raoul VOR, Jacques NICOLAS
In Philosophiques - 2003