Смотреть больше слов в «Большом энциклопедическом словаре»
финитизм сущ., кол-во синонимов: 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 конечный] - философская концепция, отрицающая объективно-реальное содержание категории бесконечного.
финити́змСинонимы: концепция
финит'изм, -аСинонимы: концепция
(2 м)Синонимы: концепция
(数学哲学中的)有穷论有限论Синонимы: концепция
Начальная форма - Финитизм, винительный падеж, единственное число, мужской род, неодушевленное
Финт Тимин Нит Низ Интим Изм Зимин Фитин Миф Нии Тим Тиф Тмин Фимин Фин Финитизм
финитизм финит`изм, -а
фінітызм
финитизм
ФИНИТИЗМ (от лат . finitus - определенный, законченный), логико-математическая концепция, согласно которой в метатеории допускаются лишь финитные (интуитивно ясные, бесспорные) средства рассуждений, проводимых в терминах обычного языка. См. также Формализм математический.... смотреть
ФИНИТИЗМ (от лат. finitus - определенный, законченный), логико-математическая концепция, согласно которой в метатеории допускаются лишь финитные (интуитивно ясные, бесспорные) средства рассуждений, проводимых в терминах обычного языка. См. также Формализм математический.... смотреть