Меню
Главная
Авторизация/Регистрация
 
Главная arrow Математика, химия, физика arrow ИСТОРИЯ И ФИЛОСОФИЯ НАУКИ. МАТЕМАТИКА

ИСТОРИЯ И ФИЛОСОФИЯ НАУКИ. МАТЕМАТИКА

ПРОБЛЕМА ОБОСНОВАНИЯ МАТЕМАТИКИОперациональное обоснование математики КРИЗИС МАТЕМАТИКИ В НАЧАЛЕ XX ВЕКАО различных точках зрения на актуально бесконечное ЛОГИЦИЗМ. МАТЕМАТИКА КАК СОЗДАНИЕ ЛОГИЧЕСКИ ОЧЕВИДНЫХ КОНСТРУКЦИЙПрограмма логицизма: математика как прололжение логикиФилософия математики Готтлоба ФрегеЛогическое определение числаАнализ отношения арифметики к логикеФилософия математики Бертрана РасселаПринципы математикиОпределение числаКлассы и парадоксыТеория типов как способ исключения парадоксовОценка программы логицизма ИНТУИЦИОНИЗМ И КОНСТРУКТИВИЗМ. МАТЕМАТИКА КАК СОЗДАНИЕ ИНТУТИВНО И АЛГОРИФМИНЕСКИ ОЧЕВИДНЫХ КОНСТРУКЦИЙПрограмма конструктивизма: математика как создание потенциально доказуемых конструкцийФилософия математики Лейтзена Эгберта Яна БрауэраФилософские принципы интуиционизма БрауэраИнтуиционистская математикаИнтуиционистская логика (высказываний)Конструктивная математика Маркова и БишопаОценка программы интуиционизма и конструктивизма ФОРМАЛИЗМ. МАТЕМАТИКА КАК СОЗДАНИЕ ФОРМАЛЬНО НЕПРОТИВОРЕЧИВЫХ КОНСТРУКЦИЙПрограмма формализма: математика как конструирование формальных системФилософия метаматематики ГильбертаФилософские принципы метаматематики ГильбертаФинитное обоснование математикиАксиомы логики высказыванийТрансфинитные аксиомыМатематические аксиомыВыявление принципиальных границ программы формализации математики ГильбертаОценка программы Гильберта
 
Если Вы заметили ошибку в тексте выделите слово и нажмите Shift + Enter
РЕЗЮМЕ Следующая >
 
Популярные страницы