Финитизм

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. 
    Математическая Логика
    

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

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

    ---