Значения слова Метаматематика. Что такое Метаматематика?

Слово состоит из 14 букв: первая м, вторая е, третья т, четвёртая а, пятая м, шестая а, седьмая т, восьмая е, девятая м, десятая а, одиннадцатая т, двенадцатая и, тринадцатая к, последняя а,

Слово метаматематика английскими буквами (транслитом) - metamatematika

Метаматематика

Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики».
ru.wikipedia.org

Метаматематика, теория доказательств, теория доказательства, в широком смысле слова — метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов…
Большая советская энциклопедия (БСЭ). — 1969—1978

Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов.
Словарь по логике. - 1997

Правильное написание и ударение в слове МЕТАМАТЕМАТИКА

Метаматема́тика, -и.
Орфографический словарь. — 2004

Разбор слова МЕТАМАТЕМАТИКА по составу (морфемный разбор)

Мета/матема́т/ик/а.
Морфемно-орфографический словарь. — 2002

Аксиома

АКСИОМЫ — множество исходных положений теории, постулатов, законов, принципов, общих суждений о свойствах и отношениях ее базовых или производных абстрактных объектов.Эти исследования осуществляются в рамках соответствующих металогических (металогика) или метаматематических теорий (метаматематика). (См. теория, доказательство, метаматематика).
Лебедев С.А. Философия науки. - 2004

АКСИОМА (греч. αξίωμα—принятое положение)—предложение, по какой-либо причине принимаемое в качестве исходного для каких-либо дальнейших рассуждений. Это общее понимание аксиомы всякий раз конкретизируется вместе с уточнением того…...Спинозы, наукоучение Фихте, метаматематика Гильберта и т. д.). В этом случае причина принятия аксиомы—свидетельство специальной познавательной способности (интуиции) к непосредственному.
Философская энциклопедия

Постулат (от лат. postulatum — требование), предложение (условие, допущение, правило), в силу каких-либо соображений "принимаемое" без доказательства, но, как правило, с обоснованием…4) Согласно древней традиции, также принятой в математической логике (см., например, С. К. Клини, Введение в метаматематику, пер. с англ., М., 1957, §§19 и 77), к П. формальной системы...
Большая советская энциклопедия (БСЭ). — 1969—1978

Метатеория

МЕТАТЕОРИЯ (от греч. meta — после, за, позади) — теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией.Наиболее развиты М. в логике и математике (металогика И метаматематика).
Философская энциклопедия

МЕТАТЕО́РИЯ (от греч. μετά – за, после) – теория, анализирующая структуру и методы к.-л. другой теории. Термин "М." имеет смысл и употребляется лишь по отношению к нек-рой данной, конкретной теории…Метаматематика.
Философская энциклопедия

МЕТАТЕОРИЯ (от греч. μετά — после и теория; букв. теория о некоторой другой теории) — одно из важнейших понятий современной логики, математики, философии и методологии науки; теория, анализирующая структуру…Для того, чтобы метаматематика выполнила свою основную функцию — обоснования содержательной математики...
Философская энциклопедия

Непротиворечивость

Непротиворечивость, совместимость, свойство дедуктивной теории (или системы аксиом, посредством которых теория задаётся), состоящее в том, что из неё нельзя вывести противоречие, т. е. какие-либо два предложения А и Ø А…Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957 (имеется лит.). См. также лит. при статьях Аксиоматический метод, Метаматематика. Ю. А. Гастев.
Большая советская энциклопедия (БСЭ). — 1969—1978

НЕПРОТИВОРЕЧИВОСТЬ — свойство совокупности утверждений, состоящее в отсутствии среди выводимых из этой совокупности противоречащих друг другу утверждений или противоречащего подразумеваемому истолкованию утверждений.М, 1994; Гладкий А.В. Введение в современную логику. М., 2001; Клини С.К. Введение в метаматематику. М., 1957.
Прохоров Б.Б. Экология человека. - 2005

Непротиворечивость — свойство формальной системы, заключающееся в невыводимости из неё противоречия. Если отрицание какого-то предложения из системы может быть доказано в теории, то о самом предложении говорится, что оно опровержимо в ней.Теория, объектами которой являются произвольные математические доказательства, называется теорией доказательств, или метаматематикой. Примером применения метаматематического метода может...
ru.wikipedia.org

Система

СИСТЕМА (от греч. — целое, составленное из частей; соединение), совокупность элементов, находящихся в отношениях и связях друг с другом, которая образует определ. целостность, единство.С. (метало-гика, метаматематика). Результаты этих исследований широко применяются в кибернетике, вычислит. технике и др. При использовании других оснований классификации С. выделяются...
Философская энциклопедия

СИСТЕМА (от греч. целое, составленное из частей; соединение), совокупность элементов, находящихся в отношениях и связях друг с другом, к-рая образует определ. целостность, единство.С. (металогика, метаматематика). Результаты этих исследований широко применяются в кибернетике, вычислит. технике и др.. При использовании других оснований классификации С. выделяются...
Советский философский словарь. - 1974

Система (от греч. systema — целое, составленное из частей; соединение), множество элементов, находящихся в отношениях и связях друг с другом, которое образует определённую целостность, единство.Задачи обоснования математики и логики вызвали интенсивную разработку принципов построения и природы формализованных, логических С. (металогпка, метаматематика).
Большая советская энциклопедия (БСЭ). — 1969—1978

Эпистемология

ТЕОРИЯ ПОЗНАНИЯ — гносеологич. эпистемология, раздел философии, в к-ром изучаются проблемы природы познания и его возможностей, отношения знания к реальности, исследуются всеобщие предпосылки познания…Как анализ логич. структуры той или иной конкретной науч. теории (напр., метаматематика, металогика и т. д.), так и изучение с помощью аппарата совр. формальной логики связей между...
Советский философский словарь. - 1974

Теория познания, гносеология, эпистемология, раздел философии, в котором изучаются проблемы природы познания и его возможностей, отношения знания к реальности, исследуются всеобщие предпосылки познания…Как анализ логической структуры той или иной конкретной научной теории (например, метаматематика, металогика и т. д.). так и изучение с помощью аппарата современной формальной логики...
Большая советская энциклопедия (БСЭ). — 1969—1978

Язык

Язык — 1) орган, имеющийся у многих животных и расположенный во рту; у человека служит средством невербальной коммуникации путем показывания его; 2) пленный, посредством допроса которого предполагается получить сведения; 3) система сигналов…...уровня" есть то, чем является "метаматематика" по отношению к математике: он находится на одну ступень в иерархии выше, но поскольку это сложная проблема, я займусь ею потом)".
Ашкинази Л.А. Мир Лема: словарь и путеводитель. - 2004

Буква м встречается 3 раза. Слова с 3 буквами м
Буква е встречается 2 раза. Слова с 2 буквами е
Буква т встречается 3 раза. Слова с 3 буквами т
Буква а встречается 4 раза. Слова с 4 буквами а
Буква и встречается 1 раз. Слова с 1 буквой и
Буква к встречается 1 раз. Слова с 1 буквой к

Похожие запросы: