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

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

Enregistré dans:

Détails bibliographiques
Auteur principal:	Gonseth, Ferdinand, 1890-1975.
Support:	Livre
Langue:	Français
Publié:	Paris : A. Blanchard, 1974
Sujets:	Philosophie et mathématiques. Créativité. Réalité Mathématiques > Fondements Axiomatique Logique symbolique et mathématique
Autres localisations:	Voir dans le Sudoc

Documents similaires

Set theory and the continuum hypothesis
par: Cohen, Paul Joseph, 1934-
Publié: (1966)

Penser les mathématiques
Publié: (1982)

Philosophie et histoire de la pensée scientifique.
par: Gonseth, Ferdinand, 1890-1975.
Publié: (1937)

Les mathématiques et le raisonnement plausible
par: Pólya, George, 1887-1985.
Publié: (2008)

Méthodes de logique
par: Quine, Willard Van Orman, 1908-2000.
Publié: (1973)

Les mathématiques, art, science et langage
par: Barthélemy, Georges.
Publié: (2003)

Logique mathématique : cours et exercices
par: Cori, René.
Publié: (1993)

Les mathématiques
par: Bergamini, David, 1928-
Publié: (1965)

Fondements des mathématiques
par: Combès, Michel, 1925-
Publié: (1971)

Logique, sémantique, métamathématique : 1923-1944...
par: Tarski, Alfred, 1901-1983.
Publié: (1972)

La logique
par: Largeault, Jean, 1931?-1995.
Publié: (1993)

Logique sans peine
par: Carroll, Lewis, 1832-1898.
Publié: (1966)

Promenades mathématiques : histoire, fondements, applications
par: Laroche, Frédéric.
Publié: (2003)

Opuscules et fragments inédits de Leibniz : extraits des manuscrits de la Bibliothèque royale de Hanovre
par: Leibniz, Gottfried Wilhelm, 1646-1716.
Publié: (1961)

Initiation à la logique
par: Dubarle, Dominique, 1907-1987.
Publié: (1957)

Logique contemporaine et formalisation
par: Martin, Roger, docteur ès-lettres.
Publié: (1964)

Elements of symbolic logic
par: Reichenbach, Hans, 1891-1953.
Publié: (1966)

La mathématisation comme problème
Publié: (2011)

Alain Connes : la réalité mathématique archaïque.
par: Postel-Vinay, Olivier.
Publié: (2000)

Gödel's proof
par: Nagel, Ernest, 1901-1985.
Publié: (1959)

Calculs et formes : de l'activité mathématiques
Publié: (2003)

Logique élémentaire
par: Quine, Willard Van Orman, 1908-2000.
Publié: (1972)

Cours de logique mathématique.
par: Fraïssé, Roland, 1920-
Publié: (1967)

L'axiomatique
par: Blanché, Robert, 1898-1975.
Publié: (1955)

L'Axiomatique
par: Blanché, Robert, 1898-1975.
Publié: (1990)

La Magie des paradoxes
par: Gardner, Martin.
Publié: (1980)

Introduction à la logique contemporaine
par: Blanché, Robert, 1898-1975.
Publié: (1969)

Le théorème de Gödel
par: Nagel, Ernest, 1901-1985.
Publié: (1997)

Le point aveugle : cours de logique
par: Girard, Jean-Yves, 1947-
Publié: (2007)

Le point aveugle : cours de logique
par: Girard, Jean-Yves, 1947-
Publié: (2006)

Je le vois, je le démontre, mais est-ce que je le comprends ?
par: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié: (2017)

Raisonnements sur des informations incomplètes en intelligence artificielle : comparaison de formalismes à partir d'un exemple
par: Sombé, Léa, pseud. coll.
Publié: (1989)

Logique, sémantique, métamathématique : 1923-1944...
par: Tarski, Alfred, 1901-1983.
Publié: (1974)

Logiques non monotones et intelligence artificielle
par: Grégoire, Eric.
Publié: (1990)

Approche logique de l'intelligence artificielle.
Publié: (1988)

Les délicats paradoxes de Berry et de Skolem
Publié: (2021)

Penser types plutôt qu'ensembles
par: Pajot, Philippe.
Publié: (2013)

Logique mathématique : éléments de base : calcul propositionnel, calcul des prédicats
par: Ponasse, Daniel.
Publié: (1967)

Logic for problem solving
par: Kowalski, Robert A.
Publié: (1979)

La logique formelle
par: Virieux-Reymond, Antoinette.
Publié: (1962)

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1