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

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

Слово финитизм английскими буквами (транслитом) - finitizm

Правильное написание и ударение в слове ФИНИТИЗМ

Финити́зм, -а.

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

Финитизм

ФИНИТИЗМ — идущая т Д. Гильберта методологическая установка на сильные требования к осмысленности и к надежности математических суждений и рассуждений.

Новая философская энциклопедия. - 2003

ФИНИТИЗМ (лат. finitus — определённый, ограниченный, законченный), методологич. установка в теории доказательств, возникшая в нач. 20 в. в работах Гильберта и его школы с целью обоснования непротиворечивости теоретико-множеств. математики.

Философская энциклопедия

ФИНИТИЗМ (лат. finitus - определённый, ограниченный, законченный), методологич. установка в теории доказательств, возникшая в нач. 20 в. в работах Гильберта и его школы с целью обоснования непротиворечивости теоретико-множеств. математики.

Советский философский словарь. - 1974

Финитизм (лат. finitus — определенный, законченный) — философское учение, отрицающее понятие бесконечного и утверждающее, что бесконечность не имеет места ни во вселенной, ни в микромире, ни в человеческом мышлении.

ru.wikipedia.org

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

Метаматематика, теория доказательств, теория доказательства, в широком смысле слова — метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов…Комплекс ограничений, налагаемых на допустимые в М. методы, Гильберт охарактеризовал как финитизм: в ещё более радикальной форме, нежели интуиционизм, эта "финитная установка" запрещает...

Большая советская энциклопедия (БСЭ). — 1969—1978

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

ru.wikipedia.org

Метатеория

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

Философская энциклопедия

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

Философская энциклопедия

Множеств теория

МНОЖЕСТВ ТЕОРИЯ —учение о множествах Г.Кантора — наука, зародившаяся в середине 19 в. и изучающая свойства множеств произвольной природы. Создание теории множеств было подготовлено работами математиков 19 в.Наконец, выход был предложен Д. Гильбертом в виде «финитной установки» (см. Финитизм), однако и этот путь оказался неудовлетворительным.

Новая философская энциклопедия. - 2003

Номинализм

НОМИНАЛИЗМ (лат. nommalis — относящийся к именам, именной, от nomen — имя) — одно из основных философских направлений в решении проблемы универсалий и исторически первая форма материализма....основ математики (эффективизм и конструктивизм во Франции и в России) и формальной логики (усилиями польской школы лотков), а также в доказательств теории (финитизм).

Новая философская энциклопедия. - 2003

НОМИНАЛИЗМ (лат. nommalis — относящийся к именам, именной, от nomen — имя) — одно из основных философских направлений в решении проблемы универсалий и исторически первая форма материализма....основ математики (эффективизм и конструктивизм во Франции и в России) и формальной логики (усилиями польской школы лотков), а также в доказательств теории (финитизм).

Философская энциклопедия