ФИНИТИЗМ

одна из осн. логико-матем. концепций, согласно к-рой в содержательных рассуждениях, имеющих целью обоснование логических и матем. теорий, допускаются лишь т.н. ф и н и т н ы е ("конечные") средства, не использующие абстракции актуальной бесконечности и тем самым в известном смысле бесспорные; в явном виде выдвинута нем. математиком Д. Гильбертом. См. Метатеория, Метод аксиоматический, формализм.

Смотреть больше слов в «Философской Энциклопедии»

ФИНКЕЛЬСТАЙН СИДНИ →← ФИЛОСОФСКИЕ ТЕТРАДИ

Синонимы слова "ФИНИТИЗМ":

Смотреть что такое ФИНИТИЗМ в других словарях:

ФИНИТИЗМ

финитизм сущ., кол-во синонимов: 1 • концепция (17) Словарь синонимов ASIS.В.Н. Тришин.2013. . Синонимы: концепция

ФИНИТИЗМ

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

ФИНИТИЗМ

- идущая от Д. Гильберта (D. Hilbert) методологич. точка зрения на то, какие объекты и способы рассуждений в математике следует считать абсолютно надеж... смотреть

ФИНИТИЗМ

(лат. finitus определённый, ограниченный, законченный), методологич. установка в теории доказательств, возникшая в нач. 20 в. в работах Гильберта и его школы с целью обоснования непротиворечивости теоретико-множеств. математики. Программа Ф. предполагала формализацию теории (непротиворечивость к-рой доказывается), включая правила вывода и способы образования понятий, и одновременно её аксиоматизацию (см. Аксиоматичеекий метод) при отвлечении от к.-л. (модельного) истолкования её формальных объектов. К этим двум требованиям, касающимся изучаемых теорий, Ф. присоединял требование обязат. наглядности (конкретности) объектов метатеории этих теорий, выражающее финитную т. зр. на задачу оснований сведение проблемы непротиворечивости к нек-рой комбинаторной (конечной) проблеме, разрешимой без обращения к к.-л. «интуиции бесконечного». Т. о., в теории доказательств финитная т. зр. предполагала конкретно-содержат. способ рассмотрения и конечную установку мышления. В известном смысле Ф. явился усилением интуиционистских (см. Интуиционизм) претензий к «технике мышления», используемой в метатеории, и, напротив, их ослаблением в соответств. теории, где свободно допускались сколь угодно сильные т. н. платонистские абстракции бесконечности и все средства нефинитной (классич.) логики. Надёжность финитной т. зр., рассчитанной на минимум логико-математич. средств, привлекаемых для обоснования, оказалась, однако, препятствием для решения гл. задачи Ф. доказательства непротиворечивости классич. математики, что привело к последующему расширению финитной т. зр. и методов самой теории доказательств (напр.. за счёт трансфинитной индукции, гёделевских функционалов конечных типов и др. абстрактных понятий).... смотреть

ФИНИТИЗМ

финити́зм (лат. finitus конечный) философская концепция, отрицающая объективно-реальное содержание категории бесконечного. Новый словарь иностранных с... смотреть

ФИНИТИЗМ

лат. finis—конец, предел) — 1) философская концепция, отрицающая объективно реальное содержание категории бесконечного (Бесконечное и конечное), исходит из. того, что бесконечность не имеет места ни во вселенной, ни в микромире, ни в нашем мышлении. Основание этого Ф. видит в том, что человек в опыте всегда имеет дело с конечными вещами и их свойствами; 2) в теории доказательств Гильберта Ф. означает конечную установку в рассуждениях о формальных системах, используемых в метаматематике. В них исключается обращение к абстракциям бесконечности, а сами рассуждения имеют содержательный характер и относятся к конкретным знаковым комплексам. Метафизически противопоставляя конечное бесконечному, Ф. игнорирует их диалектику; 3) при исследовании формальных систем в метаматематике Ф. означает использование лишь таких методов, к-рые свободны от неясностей и сомнений. ... смотреть

ФИНИТИЗМ

1) Орфографическая запись слова: финитизм2) Ударение в слове: финит`изм3) Деление слова на слоги (перенос слова): финитизм4) Фонетическая транскрипция ... смотреть

ФИНИТИЗМ

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

ФИНИТИЗМ

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

ФИНИТИЗМ

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

ФИНИТИЗМ

Ударение в слове: финит`измУдарение падает на букву: иБезударные гласные в слове: финит`изм

ФИНИТИЗМ

финитизм "лат. finitus конечный] - философская концепция, отрицающая объективно-реальное содержание категории бесконечного.

ФИНИТИЗМ

финити́змСинонимы: концепция

ФИНИТИЗМ

финит'изм, -аСинонимы: концепция

ФИНИТИЗМ

(2 м)Синонимы: концепция

ФИНИТИЗМ

(数学哲学中的)有穷论有限论Синонимы: концепция

ФИНИТИЗМ

Начальная форма - Финитизм, винительный падеж, единственное число, мужской род, неодушевленное

ФИНИТИЗМ

Финт Тимин Нит Низ Интим Изм Зимин Фитин Миф Нии Тим Тиф Тмин Фимин Фин Финитизм

ФИНИТИЗМ

финитизм финит`изм, -а

ФИНИТИЗМ

фінітызм

ФИНИТИЗМ

финитизм

ФИНИТИЗМ (ОТ ЛАТ . FINITUS ОПРЕДЕЛЕННЫЙ

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

ФИНИТИЗМ (ОТ ЛАТ. FINITUS ОПРЕДЕЛЕННЫЙ, ЗАКОНЧЕННЫЙ)

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

T: 99