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
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
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
Platon et les mathématiques
Maurice CAVEING
Dans : Les Philosophies et les mathématiques - 1996
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
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
Descartes et Euclide. Le cogito comme ultime preuve
Jean-Jacques SZCZECINIARZ
Le logique paraconsistante
Newton C. A. da COSTA, Jean-Yves BÉZIAU
Vers un métamathématicien artificiel
Jacques PITRAT
Sur les preuves non déductives en intelligence artificielle
Pierre MARQUIS
Vers un démonstrateur adaptatif
Catherine BELLEANNÉE, Jacques NICOLAS, C’H Raoul VOR
Processing Information from a Set of Sources
Arnon AVRON, Jonathan BEN-NAIM, Beata KONIKOWSKA
Dans : Towards Mathematical Philosophy - 2009
Le raisonnement historique à l’épreuve de l’IA
Jean-Claude GARDIN, Monique RENAUD, Marie-Salomé LAGRANGE
Proof Versus Sound Inference
Nimrod BAR-AM
Dans : Rethinking Popper - 2009
Preuves par excellence
Jacques DUBUCS, Sandra LAPOINTE
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
