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