KSIĄŻKI POWIĄZANE ZE SŁOWEM «MÉTAMATHÉMATIQUE»
Poznaj użycie słowa
métamathématique w następujących pozycjach bibliograficznych Książki powiązane ze słowem
métamathématique oraz krótkie ich fragmenty w celu przedstawienia kontekstu użycia w literaturze.
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
WIADOMOŚCI, KTÓRE ZAWIERAJĄ SŁOWO «MÉTAMATHÉMATIQUE»
Sprawdź, o czym dyskutuje się w prasie krajowej i zagranicznej oraz jak jest stosowane słowo
métamathématique w wiadomościach.
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, Gru 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, Wrz 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, Wrz 04»
