Скачать приложение
educalingo
Поиск

Значение слова "métamathématique" в словаре французский языка

Словарь
СЛОВАРЬ
section

ПРОИЗНОШЕНИЕ СЛОВА MÉTAMATHÉMATIQUE

métamathématique play
facebooktwitterpinterestwhatsapp

ГРАММАТИЧЕСКАЯ КАТЕГОРИЯ СЛОВА MÉTAMATHÉMATIQUE

существительное
прилагательное
глагол
наречие
местоимение
предлог
союз
междометие
артикль

ЧТО ОЗНАЧАЕТ СЛОВО MÉTAMATHÉMATIQUE

Нажмите, чтобы посмотреть исходное определение слова «métamathématique» в словаре французский языка.
Нажмите, чтобы посмотреть автоматический перевод определения на русский языке.
métamathématique

Математическая логика

Logique mathématique

Математическая логика, формальная логика или мета-математика - это дисциплина математики, введенная в конце девятнадцатого века, которая в качестве объекта изучала математику как язык. Основными объектами математической логики являются формулы, формулирующие математические утверждения, деривации или формальные демонстрации, моделирующие математическое мышление и семантику, или модели, которые определяют «значение» формул как некоторые инварианты: например, интерпретация формул исчисления предикатов в структурах позволяет присвоить им значение истины. La logique mathématique, logique formelle ou méta-mathématique est une discipline des mathématiques introduite à la fin du XIXe siècle, qui s'est donnée comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules modélisant les énoncés mathématiques, les dérivations ou démonstrations formelles modélisant les raisonnements mathématiques et les sémantiques ou modèles qui définissent le « sens » des formules comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats dans les structures permet de leur affecter une valeur de vérité.

Значение слова métamathématique в словаре французский языка

Определение метаматематики в словаре является частью логики, основным объектом которой является теория основ математики.

La définition de métamathématique dans le dictionnaire est partie de la logique dont l'objet principal est la théorie des fondements des mathématiques.

Нажмите, чтобы посмотреть исходное определение слова «métamathématique» в словаре французский языка.
Нажмите, чтобы посмотреть автоматический перевод определения на русский языке.

СЛОВА, РИФМУЮЩИЕСЯ СО СЛОВОМ MÉTAMATHÉMATIQUE


antique
antique
artistique
artistique
atlantique
atlantique
automatique
automatique
boutique
boutique
caractéristique
caractéristique
climatique
climatique
démocratique
démocratique
esthétique
esthétique
identique
identique
informatique
informatique
linguistique
linguistique
logistique
logistique
optique
optique
politique
politique
pratique
pratique
problématique
problématique
statistique
statistique
touristique
touristique
énergétique
énergétique

СЛОВА, НАЧИНАЮЩИЕСЯ КАК СЛОВО MÉTAMATHÉMATIQUE

métalogique
métamémoire
métamère
métamérie
métamérique
métamériquement
métamérisation
métamicte
métamictisation
métamoral
métamorale
métamorphe
métamorphique
métamorphisation
métamorphisé
métamorphiser
métamorphisme
métamorphosable
métamorphose
métamorphoser

СЛОВА, ЗАКАНЧИВАЮЩИЕСЯ КАК СЛОВО MÉTAMATHÉMATIQUE

acoustique
alphabétique
analytique
aquatique
asiatique
authentique
aéronautique
critique
diplomatique
domestique
dramatique
fantastique
génétique
mystique
plastique
synthétique
systématique
thématique
thérapeutique
tique

Синонимы и антонимы слова métamathématique в словаре французский языка

СИНОНИМЫ

Перевод слова «métamathématique» на 25 языков

ПЕРЕВОДЧИК
online translator

ПЕРЕВОД СЛОВА MÉTAMATHÉMATIQUE

Посмотрите перевод слова métamathématique на 25 языков с помощью нашего многоязыкового переводчика c французский языка.
Переводы слова métamathématique с французский языка на другие языки, представленные в этом разделе, были выполнены с помощью автоматического перевода, в котором главным элементом перевода является слово «métamathématique» на французский языке.

Переводчик с французский языка на китайский язык

元数学
1,325 миллионов дикторов

Переводчик с французский языка на испанский язык

metamatemático
570 миллионов дикторов

Переводчик с французский языка на английский язык

metamathematical
510 миллионов дикторов

Переводчик с французский языка на хинди язык

metamathematical
380 миллионов дикторов
ar

Переводчик с французский языка на арабский язык

metamathematical
280 миллионов дикторов

Переводчик с французский языка на русский язык

метаматематический
278 миллионов дикторов

Переводчик с французский языка на португальский язык

metamatemática
270 миллионов дикторов

Переводчик с французский языка на бенгальский язык

metamathematical
260 миллионов дикторов

французский

métamathématique
220 миллионов дикторов

Переводчик с французский языка на малайский язык

metamathematical
190 миллионов дикторов

Переводчик с французский языка на немецкий язык

metamathematischen
180 миллионов дикторов

Переводчик с французский языка на японский язык

metamathematical
130 миллионов дикторов

Переводчик с французский языка на корейский язык

metamathematical
85 миллионов дикторов

Переводчик с французский языка на яванский язык

metamathematical
85 миллионов дикторов
vi

Переводчик с французский языка на вьетнамский язык

metamathematical
80 миллионов дикторов

Переводчик с французский языка на тамильский язык

metamathematical
75 миллионов дикторов

Переводчик с французский языка на маратхи язык

metamathematical
75 миллионов дикторов

Переводчик с французский языка на турецкий язык

metamathematical
70 миллионов дикторов

Переводчик с французский языка на итальянский язык

metamatematico
65 миллионов дикторов

Переводчик с французский языка на польский язык

metamatematycznych
50 миллионов дикторов

Переводчик с французский языка на украинский язык

метаматематичних
40 миллионов дикторов

Переводчик с французский языка на румынский язык

metamathematical
30 миллионов дикторов
el

Переводчик с французский языка на греческий язык

metamathematical
15 миллионов дикторов
af

Переводчик с французский языка на африкаанс язык

metamathematical
14 миллионов дикторов
sv

Переводчик с французский языка на шведский язык

metamathematical
10 миллионов дикторов
no

Переводчик с французский языка на норвежский язык

metamathematical
5 миллионов дикторов

Тенденции использования слова métamathématique

ТЕНДЕНЦИИ

ТЕНДЕНЦИИ ИСПОЛЬЗОВАНИЯ ТЕРМИНА «MÉTAMATHÉMATIQUE»

0
100%
ЧАСТОТНОСТЬ
Слово используется редко
22
/100
На показанной выше карте показана частотность использования термина «métamathématique» в разных странах.
Тенденции основных поисковых запросов и примеры использования слова métamathématique
Список основных поисковых запросов, которые пользователи ввели для доступа к нашему онлайн-словарю французский языка и наиболее часто используемые выражения со словом «métamathématique».

ЧАСТОТА ИСПОЛЬЗОВАНИЯ ТЕРМИНА «MÉTAMATHÉMATIQUE» С ТЕЧЕНИЕМ ВРЕМЕНИ

На графике показано годовое изменение частотности использования слова «métamathématique» за последние 500 лет. Формирование графика основано на анализе того, насколько часто термин «métamathématique» появляется в оцифрованных печатных источниках на французский языке, начиная с 1500 года до настоящего времени.

Примеры использования в литературе на французский языке, цитаты и новости о слове métamathématique

ПРИМЕРЫ

КНИГИ НА ФРАНЦУЗСКИЙ ЯЗЫКЕ, ИМЕЮЩЕЕ ОТНОШЕНИЕ К СЛОВУ «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 » ".
Hourya Sinaceur, 1991
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.
RAYMOND, 2000
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 ...
‎1993
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 ...
André Robinet, 1988
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 в контексте приведенных ниже новостных статей.
1
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, Дек 06»
2
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, Сен 04»
3
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, Сен 04»

ССЫЛКИ
« EDUCALINGO. Métamathématique [онлайн]. Доступно на <https://educalingo.com/ru/dic-fr/metamathematique>. Май 2024 ».
Скачать приложение educalingo
fr
Словарь французский языка
Узнайте, что скрывают слова, на