Реферат выполнен в срок, оригинальность высокая и не техническая. Спасибо!
Подробнее о работе
Гарантия сервиса Автор24
Уникальность не ниже 50%
Споры вокруг трех программ обоснования математики – логицизма, интуиционизма и формализма – были главным предметом обсуждения в философии математики вплоть до 1960-х гг. Поводом к формулировке конкурирующих программ обоснования математики послужило обнаружение парадоксов в рамках математической логики и так называемой наивной теории множеств. В результате появилась задача дать нс теологическое (но, в то же время, и нс натуралистическое!) обоснование основному корпусу математических теорий.
ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ 3
1 ИНТУИЦИОНИЗМ В ФИЛОСОФИИ МАТЕМАТИКИ 4
2 ФОРМАЛИЗМ В ФИЛОСОФИИ МАТЕМАТИКИ 7
3 ЛОГИЦИЗМ В ФИЛОСОФИИ МАТЕМАТИКИ 9
ЗАКЛЮЧЕНИЕ 11
Список использованных источников 12
Историческим контекстом возникновения названных программ стало состояние математики, сложившееся к концу XIX в., а именно развитие математической логики, создание теории множеств, разработка современной концепции аксиоматического метода и ряд других событий. Главной причиной их появления стал определенный диссонанс между ожиданиями, возлагавшимися на математику (в первую очередь, восприятием ее как способной достичь, а возможно уже и достигшей, единства и абсолютной строгости) и отказом от теологических аргументов в философии математики (см. приведенную выше цитату из Кеплера).
Список использованных источников
1. Лолли Г. Философия математики: наследие двадцатого столетия / пер. с итал. А.Л. Сочкова, С.М. Антакова, под ред. Я.Д. Сергеева. Н. Новгород, 2012. с. 342
2. Светлов В.А. Философия математики: Основные программы обоснования математики XX столетия. М., 2010. с. 456
3. Современная философия науки: знание, рациональность, ценности в трудах мыслителей Запада: учебная хрестоматия. М., 1996. с. 523
4. Патнэм Х. Философия логики // Патнэм Х. Философия сознания / пер. с англ. Л.Б. Макеевой, О.А. Назаровой, А.Л. Никифорова. М., 1999. С. 103-145.
5. Рассел Б. Введение в математическую философию. Избранные работы / пер. с англ. В.В. Целищева, В.А. Суровцева. Новосибирск, 2007. с. 324
Не подошла эта работа?
Закажи новую работу, сделанную по твоим требованиям
Споры вокруг трех программ обоснования математики – логицизма, интуиционизма и формализма – были главным предметом обсуждения в философии математики вплоть до 1960-х гг. Поводом к формулировке конкурирующих программ обоснования математики послужило обнаружение парадоксов в рамках математической логики и так называемой наивной теории множеств. В результате появилась задача дать нс теологическое (но, в то же время, и нс натуралистическое!) обоснование основному корпусу математических теорий.
ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ 3
1 ИНТУИЦИОНИЗМ В ФИЛОСОФИИ МАТЕМАТИКИ 4
2 ФОРМАЛИЗМ В ФИЛОСОФИИ МАТЕМАТИКИ 7
3 ЛОГИЦИЗМ В ФИЛОСОФИИ МАТЕМАТИКИ 9
ЗАКЛЮЧЕНИЕ 11
Список использованных источников 12
Историческим контекстом возникновения названных программ стало состояние математики, сложившееся к концу XIX в., а именно развитие математической логики, создание теории множеств, разработка современной концепции аксиоматического метода и ряд других событий. Главной причиной их появления стал определенный диссонанс между ожиданиями, возлагавшимися на математику (в первую очередь, восприятием ее как способной достичь, а возможно уже и достигшей, единства и абсолютной строгости) и отказом от теологических аргументов в философии математики (см. приведенную выше цитату из Кеплера).
Список использованных источников
1. Лолли Г. Философия математики: наследие двадцатого столетия / пер. с итал. А.Л. Сочкова, С.М. Антакова, под ред. Я.Д. Сергеева. Н. Новгород, 2012. с. 342
2. Светлов В.А. Философия математики: Основные программы обоснования математики XX столетия. М., 2010. с. 456
3. Современная философия науки: знание, рациональность, ценности в трудах мыслителей Запада: учебная хрестоматия. М., 1996. с. 523
4. Патнэм Х. Философия логики // Патнэм Х. Философия сознания / пер. с англ. Л.Б. Макеевой, О.А. Назаровой, А.Л. Никифорова. М., 1999. С. 103-145.
5. Рассел Б. Введение в математическую философию. Избранные работы / пер. с англ. В.В. Целищева, В.А. Суровцева. Новосибирск, 2007. с. 324
Купить эту работу vs Заказать новую | ||
---|---|---|
0 раз | Куплено | Выполняется индивидуально |
Не менее 40%
Исполнитель, загружая работу в «Банк готовых работ» подтверждает, что
уровень оригинальности
работы составляет не менее 40%
|
Уникальность | Выполняется индивидуально |
Сразу в личном кабинете | Доступность | Срок 1—4 дня |
200 ₽ | Цена | от 200 ₽ |
Не подошла эта работа?
В нашей базе 85747 Рефератов — поможем найти подходящую