La littérature entre axiomatique et formalisme :: SCD d'Orléans

La littérature entre axiomatique et formalisme

La littérature entre axiomatique et formalisme

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Salanskis, Jean-Michel
Fformat:	Article ou chapitre numérique
Iaith:	Français
Cyhoeddwyd:	2013
Mynediad Ar-lein:	Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM

Eitemau Tebyg

Méthode axiomatique et formalisme : essai sur le problème du fondement des mathématiques
gan: Cavaillès, Jean, 1903-1944
Cyhoeddwyd: (1981)

La méthode axiomatique
gan: Gonseth, Ferdinand, 1890-1975
Cyhoeddwyd: (1938)

Axiomatique des sentiments
gan: Nouvel, Pascal, 1962-
Cyhoeddwyd: (2015)

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

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

Faire des mondes : Leibniz, entre axiomatique et poïétique
gan: Chateau, Dominique
Cyhoeddwyd: (2023)

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

Les fondements axiomatiques de la mesure des inégalités
gan: Gajdos, Thibault
Cyhoeddwyd: (2001)

Louis Rougier, philosophe de l’axiomatique
gan: Pont, Jean-Claude
Cyhoeddwyd: (2011)

Louis Rougier, philosophe de l'axiomatique
gan: Pont, Jean-Claude
Cyhoeddwyd: (2006)

Méthode axiomatique et négation chez Hilbert
gan: Audureau, Eric
Cyhoeddwyd: (2011)

Méthode axiomatique et négation chez Hilbert
gan: Audureau, Eric
Cyhoeddwyd: (2007)

Dedekinds Sätze und Peanos Axiomata
gan: Kahle, Reinhard
Cyhoeddwyd: (2021)

Reconcevoir grâce à la conception axiomatique
Cyhoeddwyd: (2011)

Dedekinds Sätze und Peanos Axiomata
gan: Kahle, Reinhard
Cyhoeddwyd: (2021)

L’horizon sémantique et catégorial de la méthode axiomatique
gan: Patras, Frédéric
Cyhoeddwyd: (2009)

La structure d’horizon au sein des axiomatiques : la phénoménologie entre réalisme et idéalisme
gan: Pradelle, Dominique
Cyhoeddwyd: (2024)

L’analyse axiomatique et l’attitude par rapport au risque
gan: Baccelli, Jean
Cyhoeddwyd: (2016)

Formalisme.
Cyhoeddwyd: (2017)

Le formalisme russe
gan: Aucouturier, Michel, 1933-2017
Cyhoeddwyd: (1994)

La décision judiciaire entre pragmatisme et formalisme
gan: Kirat, Thierry
Cyhoeddwyd: (2013)

Les évolutions du formalisme. Entre légalité et légitimité
gan: Ropenga, Philippe
Cyhoeddwyd: (2019)

Leibniz entre logicisme, formalisme et intuitionnisme ?
gan: Rabouin, David
Cyhoeddwyd: (2025)

Leibniz entre logicisme, formalisme et intuitionnisme ?
gan: Rabouin, David
Cyhoeddwyd: (2025)

Le « formalisme » polonais et l’héritage du formalisme russe
gan: Mrugalski, Michał, et al.
Cyhoeddwyd: (2018)

Formalisme et poétique
gan: Depretto, Catherine
Cyhoeddwyd: (2018)

Balzac et les formalismes
gan: Gendrel, Bernard
Cyhoeddwyd: (2024)

Le formalisme russe
gan: Romand, David, et al.
Cyhoeddwyd: (2016)

Formal groups
gan: Fröhlich, Albrecht, 1916-2001

Formal Methods
Cyhoeddwyd: (2024)

Lógica formal
gan: Soares, Edvaldo
Cyhoeddwyd: (2023)

Formal Ontology
gan: Hakkarainen, Jani, et al.
Cyhoeddwyd: (2024)

Formal Charges.
Cyhoeddwyd: (2020)

Formal Methods
Cyhoeddwyd: (2024)

Commutative formal groups
gan: Lazard, Michel, 1924-1987, mathématicien
Cyhoeddwyd: (1975)

Commutative Formal Groups
gan: Lazard, Michel, 1924-1987, mathématicien

François Cochet (dir.), Les violences de guerre à l’égard des civils : axiomatiques, pratiques et mémoires
gan: Marzona, Alain
Cyhoeddwyd: (2008)

Pascal Nouvel, Axiomatique des sentiments, Paris, Hermann, coll. « Essais », 2015, 358 p., 24 €.
gan: Chapouthier, Georges
Cyhoeddwyd: (2015)

Formal aspects of computing : applicable formal methods

L’Autorité de la vérité scientifique. De l’axiomatique à l’axiologie : petite apologie de l’incomplétude
gan: Gregoire-delory, Vincent
Cyhoeddwyd: (2025)

© 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