Méthode axiomatique et formalisme : :: SCD d'Orléans

$Méthode axiomatique et formalisme : essai sur le problème du fondement des mathématiques$

Méthode axiomatique et formalisme : essai sur le problème du fondement des mathématiques

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Cavaillès, Jean, 1903-1944
Awduron Eraill:	Desanti, Jean-Toussaint, 1914-2002, philosophe (Awdur y cyflwyniad etc.), Cartan, Henri, 1904-2008 (Awdur y cyflwyniad etc.)
Fformat:	Livre numérique
Iaith:	Français
Cyhoeddwyd:	Paris : Hermann 1981.
Pynciau:	Mathématiques > Philosophie Ensembles, Théorie axiomatique des Axiomatique
Mynediad Ar-lein:	Accès Université d'Orléans et IFPM Accès INSA CVL
Nodyn:	Titre provenant de la page de titre du document numérique La pagination de l'édition imprimée correspondante est de 212 p. Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Méthode axiomatique et formalisme, essai sur le problème du fondement des mathématiques, Jean Cavaillès, [2e éd.], 1981, Paris, Hermann, 1 vol. (196 p.), 2-7056-5941-2

Eitemau Tebyg

Théorie axiomatique des ensembles
gan: Krivine, Jean-Louis, 1939-
Cyhoeddwyd: (1972)

Théorie axiomatique des ensembles
gan: Krivine, Jean-Louis, 1939-
Cyhoeddwyd: (1969)

Langages, ensembles, théories axiomatiques
gan: Hervieux, Maurice, et al.
Cyhoeddwyd: (1970)

The core model
gan: Dodd, Tony, 1952-...., mathématicien
Cyhoeddwyd: (1982)

Axiomatic set theory
gan: Suppes, Patrick, 1922-2014
Cyhoeddwyd: (1965)

Axiomatic set theory
gan: Bernays, Paul, 1888-1977
Cyhoeddwyd: (1968)

Théorie des ensembles
gan: Krivine, Jean-Louis, 1939-
Cyhoeddwyd: (1998)

Abstract set theory
gan: Fraenkel, Abraham, 1891-1965, mathématicien
Cyhoeddwyd: (1968)

Elements of mathematical logic and set theory
gan: Słupecki, Jerzy, 1904-1987, et al.
Cyhoeddwyd: (1967)

Axiomatic theory of sets and classes
gan: Eisenberg, Murray, 1939-
Cyhoeddwyd: (1971)

Intuitionistic logic model theory and forcing
gan: Fitting, Melvin Chris, 1942-
Cyhoeddwyd: (1969)

Models of ZF-Set Theory
gan: Felgner, Ulrich, 1941-

Basic set theory
gan: Levy, Azriel
Cyhoeddwyd: (1979)

Axiomatic characterization of physical geometry
gan: Schmidt, Heinz-Jürgen, 1948-

Constructible sets with applications
gan: Mostowski, Andrzej, 1913-1975
Cyhoeddwyd: (1969)

Infinitary combinatorics and the axiom of determinateness
gan: Kleinberg, Eugène M.

Set theory and the continuum hypothesis
gan: Cohen, Paul J., 1934-2007, mathématicien
Cyhoeddwyd: (1966)

Et pourtant ils ne remplissent pas N
gan: Lobry, Claude, 1943-...., auteur en mathémathiques
Cyhoeddwyd: (1989)

Analyse non standard
gan: Diener, Francine, et al.
Cyhoeddwyd: (1989)

Analyse non standard
gan: Diener, Francine, et al.
Cyhoeddwyd: (1989)

Eléments de logique mathématique : théorie des modèles
gan: Kreisel, Georg, 1923-2015, et al.
Cyhoeddwyd: (1967)

Groupoïdes quantiques mesurés : axiomatique, étude, dualité, exemples
gan: Lesieur, Franck, 1976-
Cyhoeddwyd: (2004)

Ernst Zermelo : An Approach to His Life and Work
gan: Ebbinghaus, Heinz-Dieter, 1939-

L'axiomatisation de la géographie : l'axiome chorologique : préliminaire à une histoire de l'espace rural Vaudois
gan: Nicolas, Georges, 1932-
Cyhoeddwyd: (1983)

Les structures de base d'une théorie physique
gan: Ludwig, Günther, 1918-2007
Cyhoeddwyd: (1990)

Des événements aux objets : La méthode de l abstraction extensive chez A. N. Whitehead
gan: Durand, Guillaume, 19..-...., philosophe
Cyhoeddwyd: (2013)

Algèbre. Corps, ensembles et cardinaux
gan: Szpirglas, Aviva, 1949-
Cyhoeddwyd: (2024)

Groupoïdes quantiques mesurés : axiomatique, étude, dualité, exemples
gan: Lesieur, Franck, 1976-
Cyhoeddwyd: (2003)

Contenir par le contact, encadrer par l'hallucinatoire
gan: Janin, Claude
Cyhoeddwyd: (2001)

Qu'est-ce qu'un système philosophique ?
gan: Jacques Bouveresse
Cyhoeddwyd: (2021)

Définitions et exemples : prérequis pour l'apprentissage de l'algèbre moderne
gan: Durand-Guerrier, Viviane, et al.
Cyhoeddwyd: (2023)

Marginalisme et valeur de Shapley
gan: Ghintran, Amandine
Cyhoeddwyd: (2011)

What is mathematics? : an elementary approach to ideas and methods
gan: Courant, Richard, 1888-1972, et al.
Cyhoeddwyd: (1941)

La transformation des formes de la limite
gan: Retaillé, Denis
Cyhoeddwyd: (2011)

La logique à la croisée des chemins : La controverse Goblot-Rougier sur la nature de la démonstration et du raisonnement déductif (1907-1921)
gan: Bourdeau, Michel
Cyhoeddwyd: (2014)

L’homme introuvable. Fondements et limites du discours anthropologique chez Adam Ferguson
gan: Vieu, Patrick
Cyhoeddwyd: (2015)

Success and Opportunism in Hilbert’s and von Neumann’s Methodological Reflections
gan: Formica, Giambattista
Cyhoeddwyd: (2020)

Au-delà du nomologique
gan: Bouleau, Nicolas
Cyhoeddwyd: (2023)

Foundations of set theory
gan: Fraenkel, Abraham, 1891-1965, mathématicien, et al.
Cyhoeddwyd: (1973)

Lectures in set theory : with particular emphasis on the method of forcing
gan: žb., 1944-...,

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales