«MÉTAMATHÉMATIQUE»に関連するフランス語の本
以下の図書目録から
métamathématiqueの使いかたを見つけましょう。
métamathématiqueに関する本とフランス語文献で使われた文脈を提供するための簡単な抜粋文。
1
Corps et modèles: essai sur l'histoire de l'algèbre réelle
En 1941, Paul Bernays, disciple de Hilbert, constate que «la métamathématique
a dores et déjà une signification telle que son importance peut être appréciée
indépendamment de toute doctrine philosophique sur les fondements » ".
2
La philosophie en Pologne: 1918-1939
LES AXIOMES DE TARSKI ET LA MÉTAMATHÉMATIQUE Alors que Hilbert était
passé de la mathématique à la métamathé- matique, Tarski semble faire ici un
pas de plus dans l'abstraction. Passe-t- il donc à la métamétamathématique?
Roger Pouivet, Manuel Rebuschi, 2006
3
De l'expérience mathématique: essai sur la philosophie des ...
Comme nous le savons aujourd'hui, la tentative de Hilbert ne pouvait pas aboutir.
Elle vaut plutôt comme illustration de la méthode métamathématique. Mais, pour
Cavaillès, l'application au problème du continu met en question les principes ...
Pierre Cassou-Noguès, 2001
4
L'analogie dans la démarche scientifique
... Cambridge, Massachussetts, 1950, in 1979, Selectea' Papers, I, 3-11. —
Théorie métamathématique des idéaux, Paris, Gauthier-Villars, 1955. —
Introduction to mortel1 theory and to metamathematics of algebra, Amsterdam,
North-Holland, ...
Marie-José Durand-Richard, 2008
5
Principes de la Logique
des termes et leur sens métamathématique peut, d'après J. Herbrand, se définir
comme suit : « On se sert du premier quand on fait un raisonnement
mathématique ; on se sert du second quand on parle du raisonnement
mathématique.
6
Théorie de la récursivité pour la métamathématique
Raymond Smullyan nous invite à parcourir la multitude de chemins conduisant à l'incomplétude et à l'indécidabilité, plus particulièrement l'incomplétude et l'indécidabilité de l'arithmétique de Peano.
Raymond M. Smullyan, 1995
7
Philosophie de la logique et philosophie du langage
Et c'est, d'une manière plus générale, cette association du logique, du
métamathématique (au sens tarskien) et du mathématique dont Hourya Sinaceur
montre que Tarski et ses successeurs, tel A. Robinson, ont enrichi à la fois la ...
8
La philosophie autrichienne de Bolzano à Musil: histoire et ...
Le concept de vérité dans les langages formalisés », in Logique, Sémantique,
Métamathématique, trad. sous la direction de G.G. Oranger, tome 1, Paris,
Armand Colin, 1972, p. 157-276). - 1944, «The Semantic Conception of Truth
and the ...
Jean-Pierre Cometti, Kevin Mulligan, 2001
9
Doctrines et concepts, 1937-1987: rétrospective et ...
La théorie des modèles, façon Robinson, prolonge donc, au niveau
métamathématique, la perspective introduite en mathématiques par la définition
et l'étude des structures abstraites. C'est de manière explicite que Robinson se
reconnaît ...
10
Le formalisme en question: le tournant des années trente
que Brouwer nous en a donné la caricature. A partir de 1922, Hilbert constitue sa
théorie de la démonstration [Beweistheorie], qui représente alors l'essentiel de la
métamathématique, dans le but de résoudre le problème de la consistance.
Frédéric Nef, Denis Vernant, 1998
用語«MÉTAMATHÉMATIQUE»を含むニュース項目
国内外の報道機関が語った内容や、次のニュース項目の文脈から
métamathématiqueという用語がどのように使われているかを調べてみましょう。
Communication non verbale
pour éclaircir cette hyperabstraction métamathématique. Un bibliothécaire a achevé d'établir le catalogue de sa bibliothèque et se demande où il peut classer ... «Techno-science.net, 12月 06»
Le langage courant et le langage mathématique
... un métasavoir et pour les mathématiques une métamathématique qui est la connaissance utilisée pour réfléchir sur la langue, sur le savoir, ... «algerie-dz.com, 9月 04»
Aristote, de la physique à la métaphysique
... métaphysique « non métamathématique » doit à la problématique physique. Ainsi, dans la distinction de la physique, de la mathématique et ... «Fabula, 9月 04»
