Résultats de la recherche

Résultats 1 à 15 sur un total de 38 résultats

Article

The Bayesian Treatment of Auxiliary Hypotheses: Reply to Fitelson and Waterman : Discussions

Michael STREVENS
Dans The British Journal for the Philosophy of Science - 2005

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

Normativité des propositions mathématiques, inconcevabilité de leur négation, irréfutabilité par l’expérience : de vieilles remarques pour une nouvelle “manière de voir” les mathématiques ?

François SCHMITZ
Dans Wittgenstein et les mathématiques - 2004

Article

Platon et les mathématiques

Maurice CAVEING
Dans Les Philosophies et les mathématiques - 1996

Article

The Foundations of Physics: Specific Topics (1915?–1918)

Tilman SAUER, Ulrich MAJER, Heinz-Jürgen SCHMIDT, et al.
Dans David Hilbert’s Lectures on the Foundations of Mathematics and Physics, 1891-1933 - 2009

Article

Introduction. La preuve à la lumière (?) de l’intelligence artificielle

Jean-Jacques SZCZECINIARZ, Jean SALLANTIN
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999

Article

Descartes et Euclide. Le cogito comme ultime preuve

Jean-Jacques SZCZECINIARZ
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999

Article

Le logique paraconsistante

Newton C. A. da COSTA, Jean-Yves BÉZIAU
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999

Article

Vers un métamathématicien artificiel

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

Article

Sur les preuves non déductives en intelligence artificielle

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

Article

Vers un démonstrateur adaptatif

Catherine BELLEANNÉE, Jacques NICOLAS, C’H Raoul VOR
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999

Article

Processing Information from a Set of Sources

Arnon AVRON, Jonathan BEN-NAIM, Beata KONIKOWSKA
Dans Towards Mathematical Philosophy - 2009

Article

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

Jean-Claude GARDIN, Monique RENAUD, Marie-Salomé LAGRANGE
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999

Article

Proof Versus Sound Inference

Nimrod BAR-AM
Dans Rethinking Popper - 2009

Article

Preuves par excellence

Jacques DUBUCS, Sandra LAPOINTE
Dans Philosophiques - 2003

Méthodes de tri