Résultats de la recherche

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

Article

L’œuvre logique de Kurt Gödel (1929-1936)

Jacques DUBUCS
Dans L’Âge de la science. Lectures philosophiques - 1991

Article

La philosophie de Kurt Gödel

Jacques DUBUCS
Dans L’Âge de la science. Lectures philosophiques - 1991

Article

Jules Vuillemin entre l’intuitionnisme et le réalisme

Jacques BOUVERESSE
Dans Philosophie des mathématiques et théorie de la connaissance. L’Œuvre de Jules Vuillemin - 2005

Article

La philosophie de Descartes et son intuitionnisme

Michio KOBAYASHI
Dans Philosophie des mathématiques et théorie de la connaissance. L’Œuvre de Jules Vuillemin - 2005

Article

Jean Largeault et l’intuitionnisme

Hervé BARREAU
Dans De la science à la philosophie. Hommage à Jean Largeault - 2001

Article

Beth an Bernays on Intuitionism

Miriam FRANCHELLA
Dans Philosophia Scientiae. Travaux d’histoire et de philosophie des sciences - 1999

Article

Philosophie des mathématiques

Jacques DUBUCS, Denis BONNAY
Dans Précis de philosophie des sciences - 2011

Article

Formalisme et intuitionnisme en philosophie des mathématiques

Jean LARGEAULT
Dans Revue philosophique de la France et de l’étranger - 1990

Article

Brève note sur l’intuitionnisme de Brouwer

Jean LARGEAULT
Dans Revue philosophique de la France et de l’étranger - 1992

Monographie

Les Fondements des mathématiques : Intuitionnisme, théorie de la démonstration

Arend HEYTING
Gauthier-Villars - 1955

Monographie

The Nature of Mathematics. A Critical Survey

Max BLACK
Routledge and Kegan Paul - 1965

Monographie

Fondements des mathématiques

Michel COMBÈS
Presses Universitaires de France - 1971

Monographie

La Vérification

Gilles-Gaston GRANGER
Odile Jacob - 1992

Monographie

Phenomenology, Logic, and the Philosophy of Mathematics

Richard L. TIESZEN
Cambridge University Press - 2005

Collectif

Philosophie des mathématiques et théorie de la connaissance. L’Œuvre de Jules Vuillemin

Sous la direction de Roshdi RASHED, Pierre PELLEGRIN
Albert Blanchard - 2005

Méthodes de tri