Résultats de la recherche

Résultats 16 à 30 sur un total de 38 résultats

Monographie

Proofs and refutations. The logic of mathematical discovery

Élie G. ZAHAR, John WORALL
Cambridge University Press - 1976

Article

Le raisonnement historique à l’épreuve de l’IA

Monique RENAUD
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999

Article

Preuves par excellence

Sandra LAPOINTE, Imre LAKATOS, Marie-Salomé LAGRANGE
Dans Philosophiques - 2003

Article

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

Monographie

Objecting to God

Colin HOWSON
Cambridge University Press - 2011

Monographie

Why is There Philosophy of Mathematics At All ?

Jean-Claude GARDIN
Cambridge University Press - 2014

Monographie

Pluralism in Mathematics : A New Position in Philosophy of Mathematics

Michèle FRIEND
Springer Science+Business Media B.V. - 2013

Article

Wittgenstein sur la preuve mathématique

Pasquale FRASCOLLA
Dans Wittgenstein et les mathématiques - 2004

Article

La preuve et le contrat

Jacques DUBUCS
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 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

Monographie

Les Outils de la réflexion : Épistémologie

François DAGOGNET
Les Empêcheurs de penser en rond - 1999

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

Article

Le logique paraconsistante

Newton C. A. da COSTA
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999

Monographie

La Méthode de Zadig : La trace, le fossile, la preuve

Claudine COHEN
Seuil - 2011

Monographie

L'algorithmique et les sciences

Bernard CHAZELLE, Jean-Yves BÉZIAU
Collège de France - 2013

Méthodes de tri