Research results

Results 1 to 15 from a total of 23 results.

Article

PNK's Creative Advance from Formal to Existential Ontology

Michel WEBER
In Les principes de la connaissance naturelle d’Alfred North Whitehead - 2007

Monograph

Structural Proof Theory

Jan VON PLATO
Cambridge University Press - 2001

Article

L’analyse de la forme logique des propositions en grammaire universelle

Daniel VANDERVEKEN
In Méthodes logiques pour les sciences cognitives - 1995

Article

On Optimism and Opportunism in Applied Mathematics

Michael STÖLTZNER
In Erkenntnis - 2004

Article

Bolzano et les mathématiques

Hourya SINACEUR
In Les Philosophies et les mathématiques - 1996

Article

Whitehead and Mereology

Peter SIMONS
In Les principes de la connaissance naturelle d’Alfred North Whitehead - 2007

Monograph

Le Théorème de Gödel

[s.n.]
Seuil - 1989

Article

La place des mathématiques dans la classification des sciences

Raymond QUENEAU
In Les Grands courants de la pensée mathématique - 1962

Article

Gonseth et les mathématiques

Ernest NAGEL, James R. NEWMAN, Thierry MARCHAISSE
In Les Philosophies et les mathématiques - 1996

Monograph

Defending the Axioms. On the Philosophical Foundations of Set Theory

Penelope MADDY
Oxford University Press - 2011

Article

Mathématiques et intuitions : Zermelo et Poincaré face à la théorie axiomatique des ensembles et à l’axiome du choix

Françoise LONGY
In Philosophia Scientiae. Travaux d’histoire et de philosophie des sciences - 2001

Monograph

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

Arend HEYTING
Gauthier-Villars - 1955

Academic journal

Philosophia Scientiae. Travaux d’histoire et de philosophie des sciences

2001 / 2 (N° 5)

Monograph

Les Mathématiques et la réalité : essai sur la méthode axiomatique

Ferdinand GONSETH, Kurt GÖDEL, Jean-Yves GIRARD
Presses Universitaires de France - 1936

Article

Vuillemin on natural language : from myth to free philosophy

Katarzyna GAN-KRZYWOSZYNSKA
In Scientific Knowledge and Common Knowledge - 2009

Sorting methods