Résultats 1 à 15 sur un total de 38 résultats.
Article
Processing Information from a Set of Sources
Arnon AVRON
Dans : Towards Mathematical Philosophy - 2009
Proof Versus Sound Inference
Nimrod BAR-AM
Dans : Rethinking Popper - 2009
Apprendre la preuve
Nicolas BELACHEFF
Dans : Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Vers un démonstrateur adaptatif
Catherine BELLEANNÉE, Jonathan BEN-NAIM
Le noyau logique des mathématiques : À partir de Frege
Ali BENMAKHLOUF
Dans : Le formalisme en action - 2013
Appliquer
Jocelyn BENOIST
Le logique paraconsistante
Jean-Yves BÉZIAU
Monographie
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
Dans : 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
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
Dans : Critique. Revue générale des publications françaises et étrangères - 2002
Preuves par excellence
Jacques DUBUCS, C’H Raoul VOR, Jacques NICOLAS
Dans : Philosophiques - 2003
Haut de page
Retour à la page précédente
Mentions légales © SIPS, 2021.Dernière mise à jour : Samedi 23 octobre 2021
