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


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


Article


Wittgenstein sur la preuve mathématique

Pasquale FRASCOLLA

Dans : Wittgenstein et les mathématiques - 2004


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


Apprendre la preuve

Nicolas BELACHEFF

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


Les cadres probatoires

Jean SALLANTIN

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


Article


Règles, déduction, grammaire et langage

Ryszard ZUBER

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


Haut de page

Retour à la page précédente

Mentions légales © SIPS, 2022.
Dernière mise à jour : Jeudi 19 mai 2022