Système d’information en philosophie des sciences
Information system on philosophy of science

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

Méthodes de tri
Auteur  Tri par ordre croissant Tri par ordre décroissant | Titre  Tri par ordre croissant Tri par ordre décroissant | Année  Tri par ordre croissant Tri par ordre décroissant

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


Haut de page

Retour à la page précédente

Mentions légales © SIPS, 2021.
Dernière mise à jour : Samedi 23 octobre 2021