Финитизм



  1. ФИНИТИЗМ

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


    Большой энциклопедический словарь




  2. финитизм

    финитизм

    , -а


    Орфографический словарь. Одно Н или два?




  3. финитизм

    сущ., кол-во синонимов: 1 концепция 17


    Словарь синонимов русского языка




  4. финитизм

    орф.

    финитизм, -а


    Орфографический словарь Лопатина




  5. Финитизм

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


    Математическая энциклопедия




  6. ФИНИТИЗМ

    ФИНИТИЗМ – идущая от Д.Гильберта [ГИЛЬБЕРТ] методологическая установка на сильные требования к осмысленности и к надежности математических суждений и рассуждений. В соответствии с этой установкой надежные рассуждения удовлетворяют следующим условиям (Ж.


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




  7. концепция

    идея 39 мысль 42 план 67 положение 92 представление 65 система 86 тезис 12 теория 21 учение 42 финитизм 1 хавелизм 1


    Словарь синонимов русского языка




  8. ЭРБРАН

    ]). Свой взгляд на философские принципы финитизма [ФИНИТИЗМ]Эрбран изложил в статье «Об основах


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




  9. ГЕНЦЕН

    Генцен работал в основном в русле финитизма [ФИНИТИЗМ]в математике. Его научные интересы относятся


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




  10. МАТУРИДИ

    характерен отказ от финитизма (атомизма).

    Литература:

    1. Kitab al-Tawhid, ed. F.Kholeif, introd. Beirut


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




  11. АЛЛАФ

    По-видимому, он был первым мутазилитом, который в противовес ан-Наз̣з̣āму отстаивал финитизм (утверждение


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




  12. ИБН С̣АФВĀН

    Для его эсхатологии характерен финитизм – будущие события (движения) не могут быть бесконечны, откуда


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




  13. Смирнов, Георгий Александрович

    объединить два направления в анализе оснований науч. знания — феноменологию Гуссерля и финитизм Гильберта


    Большая биографическая энциклопедия




  14. Метаматематика

    методы, Гильберт охарактеризовал как финитизм: в ещё более радикальной форме, нежели интуиционизм

    формализации, которая была бы одновременно полной и непротиворечивой; к тому же весь аппарат финитизма

    финитизма, формализма и связанной с ними гильбертовской программы, а также аксиоматического метода


    Большая советская энциклопедия




  15. ТАТАРКЕВИЧ

    интеллектуализм, универсализм и финитизм; для средневековой – волюнтаризм, индивидуализм, концепция бесконечного


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




  16. Секвенций исчисление

    гильбертовского финитизма (см. Аксиоматический метод, Метаматематика), и тем самым обходящие в известном


    Большая советская энциклопедия




  17. Конструктивная Семантика

    до бескванторного уровня (К-истинность) связано со стремлением остаться по возможности в рамках финитизма, т. е


    Математическая энциклопедия




  18. КОНСТРУКТИВНОЕ НАПРАВЛЕНИЕ

    объекты, но и идеальные суждения (см. Финитизм [ФИНИТИЗМ]). Даже столь простые утверждения


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




  19. МНОЖЕСТВ ТЕОРИЯ

    был предложен Д.Гильбертом в виде «финитной установки» (см. Финитизм [ФИНИТИЗМ]), однако и этот путь


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




  20. ГИЛЬБЕРТ

    т.н. «финитной установки» (см. Финитизм [ФИНИТИЗМ]) – перечня средств (он называл их финитными


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




  21. ЛОГИКА СИМВОЛИЧЕСКАЯ

    Финитизм [ФИНИТИЗМ]), можно будет доказать непротиворечивость теории множеств и самой теории


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




  22. ФИЛОСОФСКАЯ ЛОГИКА

    оживленную философскую дискуссию, в особенности проблема финитизма [ФИНИТИЗМ].

    На самом деле выше сказанное


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




  23. Логические Исчисления

    как интуиционизм, финитизм, конструктивная математика). В рамках этих теорий приходится вырабатывать другие


    Математическая энциклопедия




  24. НОМИНАЛИЗМ

    а также в доказательств теории [ДОКАЗАТЕЛЬСТВ ТЕОРИЯ] (финитизм). Параллельно номинализм получает


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




  25. АРИСТОТЕЛЬ

    трактату «О душе» и биологическим работам. Основные принципы натурфилософии Аристотеля: 1) финитизм

    ничего не делают напрасно») – обратная сторона финитизма (греч. τέλος – и «конец», и «цель»); 3


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




  26. Витгенштейн

    психологии, особо отмечая в этой связи финитизм и Бихевиоризм.

    В наброске предисловия к будущей книге


    Словарь по культурологии




  27. Кусочно Линейная Топология

    Маркова, [5]). Финитизм комплексов первоначально имел целью введение инвариантов: инвариант определяется


    Математическая энциклопедия




  28. Доказательств Теория

    чем традиционный финитизм Д. Гильберта, но в то же время достаточно удовлетворительных с нек-рой точки


    Математическая энциклопедия




  29. Математическая Логика

    финитизма Гильберта. Признавая ненадежность геометрич. интуиции, Д. Гильберт прежде


    Математическая энциклопедия




№2 (2401)№2 (2401)№2 (2401)№2 (2401)№3 (2359)№4 (2354)№5 (2318)№6 (2316)№7 (2314)№8 (2310)№8 (2310)№9 (2302)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)№10 (2300)