 |
Главная |
|
VITAE |
|
Студенты |
|
Аспиранты |
|
Спецкурсы |
|
УНЦ ОИЯИ |
|
Учеб.материалы // Mои тексты |
|
Библиотека |
|
Ссылки |
|
Сканирование |
|
Другие Вузы |
Здесь представлены программы, учебно-методологические материалы (лекции, учебные и методические материалы,сам/работы, экз.вопросы...) доц., канд.фил.н. КАТРЕЧКО С.Л., а также учебно-научная "электронная библиотека" классических философских текстов и ссылки на философские и околофилософские ресурсы, соответствующей проблематики. Некоторые из представленных здесь текстов (они помечены как "черновики") не сверены (до конца) с оригиналом. Архивные (zip) копии сделаны (как правило) с помощью WinCommander. Поcле правки текстов, они "переводятся" в алфавитный каталог библиотеки сервера Философия в России, а имеющиеся здесь ссылки могут не работать.
Материалы для аспирантов мехмата МГУ 2008/9
Прием рефератов закончен. Ответы будут даны письмом. Для тех у кого есть "бонусы" желательно прийти на экзамен немного пораньше, к 9.30
Материалы (вопросы и билеты) к экзамену 14 мая 2009 Г.
Примерные билеты к экзамену канд.минимума
Вопросы по семинарским занятиям (версия от 30 апреля)
Оценки за рефераты и бонусы к экзамену (обновление 11 мая)
Литература к экзамену (см. также литературу к семинарам ниже)
Базовая статья для экзамена: Philosophy of mathematics (см. копию на моей странице)
Перевод (пер. К.Куюмжиян и М.Панова; Word)
1. Абстрактные объекты (пер. Д.Васильковой; Word)
2. К.Гедель О континуум гипотезе Кантора (пер. А.Шапиро; pdf)
== 2.1. П.Коэн Теория множеств и континуум-гипотеза (djvu-файл)
== 2.2. В.В. Целищев НЕОПРЕДЕЛЕННОСТЬ В САМОЙ ТОЧНОЙ ИЗ НАУК: КОНТИНУУМ-ГИПОТЕЗА И АКСИОМА КОНСТРУИРУЕМОСТИ
3.1 Л.Брауэр Интуиционизм и формализм (пер. Н.Горфинкель; pdf)
3.2 Л.Брауэр Сознание, философия и математика (пер. и комменатрии С.Шашкова; pdf)
4. Вопенка П. Альтернативная теория множеств (djvu-файл)
== 4.1. П.Вопенка Альтернативная теория множеств (реф. Е.Поршнева; Word)
5. Логический атомизм Витгенштейна (пер. Р.Авдеева; Word)
6. Х.Карри Заметки об определении и природе математики (пер. Е.Епифанова; Word)
7. Э.Залта Principia metaphysics (его концепция абстрактных объектов) (реф./пер. Е.Дашкова; pdf)
8. П.Бернайс О платонизме в математике (пер. И.Семушина; Word)
Подготовка реферата по истории науки (математики)
Программа экзамена канд.минимума по истории математики (министерский список тем рефератов (см. в конце прог.); текст программы на образовательном портале МинОбр)
Общая тематика и требования к рефератам (ссылки на полезные сайты; оформление титула)
Возможно подготовка реферата одного из трех типов:
1. Стандартный реферат по истории науки (см. требования к рефератам выше)
== 1.1.Рекомендуемый список тем рефератов на 2008/9 (zip-Word: список тем с литературой)
== 1.2.Расширенный список тем рефератов 2007 (список с литературой)
== 1.3.Список тем рефератов других преподавателей из Рунета (для общей ориентировки; можно выбрать отсюда)
2. Реферат - перевод статьи по истории и/или философии науки (см. требования к рефератам выше)
== Небольшая подборка статей для перевода (zip-Word)== P.Benacerraf, H.Putnam (eds) Philosophy of Mathematics (http://www.scribd.com)
=== Хрестоматия "Philosophy of mathematics" (ч.1; pdf)
=== Хрестоматия "Philosophy of mathematics" (ч.2; pdf)
== R.Hersh What is Mathematics, Really? (http://www.scribd.com)
== Stanford Encyclopedia of Philosophy
== Philosophy of mathematics (см. копию на моей странице)
3. Реферат - обзор по теме диссертационного исследования (по согласованию с научным руководителем). В качестве образцов для рефератов этого типа
можно использовать следующие рефераты аспирантов 2007/08 гг.:
== 3.1. Трушин Д.В. Нестандартный анализ Робинсона (pdf-файл; более концептуальный)
== 3.2. Наливайко П.В. Реферат по истории изучения теории потоков (word-файл; более исторический)
Материалы к семинарским занятиям 2008/9 учебного года
1. Кюнг Гвидо Онтология и логический анализ языка (rar-Word: вся книга) (проблема универсалий у Рассела, Витгенштейна, Карнапа, Лесневского, Куайна/Гудмена; после разархивации начинайте с файла contents.doc или скачайте вторую часть книги)
2. С.Неретина, А.Огурцов Пути к универсалиям (pdf-файл) (фр. о современных решениях проблемы гл. "Универсалии как кванторы...", с. 741 - 905 (взгляды Рассела, Витгенштейна, Львовско-Варшавской школы (Твардовский, Лукасевич, Лесьневский, Айдукевич), Куайна/Гудмена, Поппера)
3. Васильев Н.А. Статьи по воображаемой логике
==Воображаемая логика
==Логика и металогика
(доп) Левин Г.Д. Проблема универсалий. Современный взгляд (начало книги)
(доп) Оккам У. Фрагменты (проблема универсалий)
Тема 2. Что такое математика?
В.И. Арнольд Что такое математика? (ps-файл) (см. первые главы: полемика В.Арнольда и Ю.Манина о природе математики; взято с сайта www.mccme.ru)
В.И. Арнольд Математика с человеческим лицом
Ю.И. Манин Математика и физика (djvu-файл)
1. Рассел Б. Об обозначении (On denoting, Mind, 1905)
= (см. сборник "Язык, истина, существование", где опубликована статья Рассела)
= доп.= Рассел Б. Философия логический атомизма (см. лекцию №6)
= доп.= статьи о логическом атомизме Рассела и Витгенштейна из SEP (англ.)
== а также классическую работу по этой теме: Фреге Г. Смысл и значение,
== пояснения Фреге к своей концепции смысла: Письма Э.Гуссерлю (черновик; см. также zip-Word)
2. Карнап Р. Эмпиризм, семантика и онтология (Word)
= см. другие тексты Карнапа в директории: http://katrechko.narod.ru/library/carnap/01.html (Преодоление метафизики посредством логического анализа языка)
1. Тарский А. Семантическая концепция истины и основания семантики
(сборник "Аналитическая философия: становление и развитие (антология; zip-файл)"; сборник в сети)
= доп.= Тарский А. О ОБОСНОВАНИИ НАУЧНОЙ СЕМАНТИКИ
= доп.= Тарский А. О ПОНЯТИИ ЛОГИЧЕСКОГО СЛЕДОВАНИЯ
2. Крипке С. Очерк теории истины
(сборник "Язык, истина, существование" (zip-файл); сборник в сети)
Философия математики
Базовая статья для экзамена: Philosophy of mathematics (на моей странице)
Тема 4 Основные программы обоснования математики
Тема 4.1 Программы обоснования математики: логицизм (Фреге, Рассел)
1. Фреге Г. Основоположения арифметики (zip-Word)
=== Концепция числа Фреге (собственно концепция числа изложена в гл. IV - V (пар.62 - 91) + обратить внимание на пар.87; Главное: как Фреге понимает математику, почему его подход получил название логицизма?
2. Фреге Г. Логика в математике (черновик; см. также zip-Word)
= доп. = Фреге Г. Смысл и значение
Тема 4.2 Программы обоснования математики: интуиционизм (Брауэр, гейтинг)
Гейтинг А. Интуиционистские взгляды на природу математики
(NEW!!) <Брауэр===
(NEW!!) Непейвода Н.Н., Бельтюков А.П. Манифест прикладного конструктивизма
Есенин-Вольпин А.С. Формулы или формулоиды? (тезисы к преодолению теорем Геделя)
Тема 4.3.1 Программы обоснования математики: формализм (Гильберт; по двум статьям)
Д.Гильберт Аксиоматическое мышление (текст на katrechko.narod.ru)
Д.Гильберт Познание природы и логика (текст на katrechko.narod.ru)
Тема 4.3.2 Метод идеальных элементов Гильберта
1. Д.Гильберт О бесконечном (текст на katrechko.narod.ru)
2.Е.Д.Смирнова Логика и философия (djvu-файл) (см. о концепции "идеальных элементов" Д. Гильберта гл.6 §2, 3)
= 2.1. (доп.) Е.Д.Смирнова Метод идеальных элементов и обоснование аподиктического знания
= 2.2. (доп.) Е.Д.Смирнова Кантианские мотивы в обосновании математического знания (Кант, Гильберт) (pdf-файл)
3.Epsilon substitution method The Epsilon Calculus (SEP) (текст на katrechko.narod.ru) (см. также Epsilon substitution)
= 3.1 Epsilon Calculi (текст на katrechko.narod.ru)
4. С.Кангер Упрощенный метод доказательства для элементарной логики (статья из сборника "Математическая теория логического вывода" (метод метапеременных); zip-скан)
= 4.1. (доп.) А.М.Анисов Современная логика (см. гл.5, §11 (о правиле удаления квантора существования); это статья, самой книги не нашел; см. его сайт: http://iph.ras.ru/anisov.htm)
= 4.2. (доп.) В.А. Смирнов Формальный вывод и логические исчисления (см. гл.7; это статья (см. ниже), самой книги не нашел)
= 4.3. (доп.) В.А. Смирнов Поиск доказательств в натуральном интуиционистском исчислении предикатов с е-символом и предикатом существования (Word)
= 4.4. (доп.) А.В. Смирнов, А.Е. Новодворский Интерактивная система поиска вывода "Deductio"(о ней) (архив самой программы)
Работы Д.Гильберта (дополнительно)
Д. Гильберт Основания геометрии (djvu-файл)
Проблемы Гильберта (djvu-файл)
Тема 5 Абстрактные объекты в математике
Целищев В.В. ОНТОЛОГИЯ МАТЕМАТИКИ ОБЪЕКТЫ И СТРУКТУРЫ (стр. даны в виде графики: 0001.bmp — 0123.bmp)Тема 6 Платонизм в математике
К.Гедель Об одном еще не использованном расширении финитной точки зрения (zip_скан)Тема 7 Стандартные и альтернативные концепции числа и множества
1. Бурбаки Н. Архитектура математики (см. zip-Word)
2. Рашевский П.К. О догмате натурального ряда
3. Уемов А.И. К проблеме альтернативы теоретико-множественному подходу к построению логических систем
4. Есенин-Вольпин А.С. Формулы или формулоиды? (тезисы к преодолению теорем Геделя)
5. Вопенка П. Альтернативная теория множеств (djv-файл)
== (к сожалению, файл из-за объема нельзя разместить здесь, поэтому см.:
5.1 Победин Л. О бесконечном (краткое изложение идеи Вопенки)
=== (http://www.philosophy.nsc.ru/journals/philscience/13_02/pobed.htm)
5.2 Вопенка П. Альтернативная теория множеств (библиотека http://homelab.atspace.com/library.htm, где книга выдается по запросу)
5.3 Вопенка П. Альтернативная теория множеств (djv-файл; альтернативное расположение файла)
6. Непейвода Н.Н., Бельтюков А.П. Манифест прикладного конструктивизма
Тема 8 Программы обоснования математики: структурализм (П.Бенацерраф, С.Шапиро, М.Резник)
П.Бенацерраф "Чем числа не могут быть?"(pdf); (">Word_rar)
Тема 9 Природа математического доказательства
1. Лакатос И. Доказательства и опровержения (см. zip-Word)
2. Адамар Ж. Исследование психологии процесса изобретения в области математики (word-rar) (см. djvu-rar)
Материалы к семинарским занятиям 2007/8
Задание к семинару 3 Различие между генерализацией и формализацией (по Гуссерлю)
Э.Гуссерль Идеи к чистой феноменологии...(глава 1) (ИДЕИ-1 (полный текст; html-rar)
== (для ответа на вопрос надо почитать §§ 11 - 15 гл.1, собственно вопрос будет сформулирован по § 13. "Генерализация и формализация")
== подвал ==
12. Пуанкаре А. Наука и метод (книга; сборник статей)
13. Пуанкаре А. Интуиция и логика в математике (см. также его книгу "Наука и метод")
14. Пуанкаре А. Математическое творчество (см. также его книгу "Наука и метод")
15. Дьедонне Ж. Абстракция и математическая интуиция
16. Вейль Г. Математический способ мышления(см. zip-Word)
17. Вейль Г. Топология и абстрактная алгебра как два способа понимания в математике (zip-Word)
20. Кнут Д. Алгоритмическое мышление и математическое мышление (zip-файл документа Word)
22. Лакатос И. Доказательства и опровержения
=== см. также выдержки из работы, подготовленные А.Козелем текст в win1251
23. Успенский В.А. Семь размышлений на тему философии математики web-страница А.Бугаева
24. Шафаревич И.Р. Основные понятия алгебры оглавление; главы №№1-4 (формат pdf; zip-файл)
25. Никола Бурбаки: за и против
=== Соснинский А.Б. "Умер ли Н.Бурбаки" (формат pdf) (журнал "Математическое просвещение" №2 на сайте www.mccme.ru)
=== Критика "бурбакизма" в статьях В.И.Арнольда (формат pdf) на сайте www.mccme.ru (Московский Центр Непрерывного Математического Образования" (МЦНМО)
26. Статьи по квантовым компьютерам (вычислениям):
=== 26.1 Статьи из e-журнала "Квантовые компьютеры и вычисления" http://rcd.ru/index_e.html
==== Фейман Р. Квантовомеханические компьютеры (zip-файл в формате pdf)
==== Дойч Д., Джоша Р. Быстрое решение задач с помощью квант. вычислен. (zip-файл в формате pdf)
=== 26.2 Валиев К.А. Кокин А.А. От кванта к квантовым вычислениям личная страница А.Кокина
=== 26.3 Дойч Д., Экерт А., Лупачини Р. Машины, логики и квантовая физика (zip-файл в формате pdf) (введение в квантовые вычисления; работа из журнала "Математическое просвещение" №5(2001))
Материалы для аспирантов мехмата МГУ 2004/5
Темы рефератов по философии для аспирантов 2004/5 (zip-Word)
