Значение слова МЕТАМАТЕМАТИКА в Орфографическом словаре

МЕТАМАТЕМАТИКА: метаматем`атика, -и

Орфографический словарь. 2012

МЕТАМАТЕМАТИКА в Большой советской энциклопедии, БСЭ:
теория доказательств, теория доказательства, в широком смысле слова - метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических …
МЕТАМАТЕМАТИКА в Словаре русского языка Лопатина:
метаматем`атика, …
МЕТАМАТЕМАТИКА в Полном орфографическом словаре русского языка:
метаматематика, …
ТАРСКИЙ в Новейшем философском словаре:
(Tarski) Альфред (1902-1984) - польско-американский логик и математик, один из главных представителей Львовско-варшавской школы. Доцент Варшавского университета (1926). С 1939 …
МЕТАТЕОРИЯ в Новейшем философском словаре:
теория, анализирующая различные свойства, структуру, закономерности, методы и приемы исследования другой теории, называемой объектной или предметной. М. выполняет методологическую функцию …
ТЕОРИЯ ПОЗНАНИЯ в Большой советской энциклопедии, БСЭ:
познания, гносеология, эпистемология, раздел философии, в котором изучаются проблемы природы познания и его возможностей, отношения знания к реальности, исследуются всеобщие …
СИСТЕМА в Большой советской энциклопедии, БСЭ.
СЕКВЕНЦИЙ ИСЧИСЛЕНИЕ в Большой советской энциклопедии, БСЭ:
исчисление (позднелатинское sequentia - последовательность, следствие), секвенциальные исчисления, исчисления способов заключений, модификации понятия логического исчисления , в которых основными объектами …
ПОЛНОТА в Большой советской энциклопедии, БСЭ:
свойство научной теории, характеризующее достаточность для каких-либо определённых целей её выразительных и (или) дедуктивных средств. Один из аспектов понятия П. …
ПЕРЕМЕННАЯ в Большой советской энциклопедии, БСЭ:
переменное, одно из основных понятий математики и логики. Начиная с работ П. Ферма , Р. Декарта , И. Ньютона , …
ПАРАДОКС в Большой советской энциклопедии, БСЭ:
(от греч. paradoxes - неожиданный, странный), неожиданное, непривычное (хотя бы по форме) суждение (высказывание, предложение), резко расходящееся с общепринятым, традиционным …
ОПРЕДЕЛЕНИЕ ЧЕРЕЗ АБСТРАКЦИЮ в Большой советской энциклопедии, БСЭ:
через абстракцию , способ описания (выделения, 'абстрагирования') не воспринимаемых чувственно ('абстрактных') свойств предметов путём задания на предметной области некоторого отношения …
НЕПРОТИВОРЕЧИВОСТЬ в Большой советской энциклопедии, БСЭ:
совместимость, свойство дедуктивной теории (или системы аксиом , посредством которых теория задаётся), состоящее в том, что из неё нельзя вывести …
МИНИМАЛЬНАЯ ЛОГИКА в Большой советской энциклопедии, БСЭ:
логика, логическая система, являющаяся ослаблением интуиционистской логики и конструктивной логики за счёт исключения из числа постулатов формулы ùА E (А …
МЕТАЯЗЫК в Большой советской энциклопедии, БСЭ:
(от мета... ) , одно из основных понятий современной логики и теоретической лингвистики, используемое при исследовании языков различных логико-математических исчислений, …
МЕТАТЕОРЕМА в Большой советской энциклопедии, БСЭ:
(от мета... ) , теорема относительно объектов (понятий, определений, аксиом, доказательств, правил вывода, теорем и др.) какой-либо научной теории (т. …
МЕТАЛОГИКА в Большой советской энциклопедии, БСЭ:
(от мета... ), часть логики, посвященная изучению метатеоретическими средствами (см. Метатеория ) строения и свойств различных логических теорий. Возникшая на …
ЛОГИЦИЗМ в Большой советской энциклопедии, БСЭ:
направление в основаниях математики и философии математики, основным тезисом которого является утверждение о 'сводимости математики к логике', т. е. возможности …
КОНСТРУКТИВНОЕ НАПРАВЛЕНИЕ в Большой советской энциклопедии, БСЭ:
направление в математике, математическое мировоззрение, связанное с признанием исследования конструктивных процессов и конструктивных объектов основной задачей математики. К концу 19 …
МАТЕМАТИКА: ФИЛОСОФСКИЕ ТРУДНОСТИ в Словаре Кольера:
К статье МАТЕМАТИКА Еще древние греки отчетливо понимали, что математическая теория должна быть свободна от противоречий. Это означает, что невозможно …
МЕТАТЕОРИЯ в Новом словаре иностранных слов:
( см. мета... + теория) лог., лингв. теория, описывающая строение какой-л. научной теории ( напр. , метаматематика описывает логическое строение …
МЕТАТЕОРИЯ в Словаре иностранных выражений:
[см. мета... + теория] лог., лингв, теория, описывающая строение какой-л. научной теории (напр., метаматематика описывает логическое строение …

Орфографический словарь

← МЕТАМАГНЕТИК МЕТАМАТЕМАТИЧЕСКИЙ→