Социософт
«Социософт»

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

31 января: Онтологический верстак по математике

Теги: Сергей Переслегин, онтологический верстак, онтология, учебный курс, математика, Шилов, Парибок, Андрей Парибок, парадокс, фокусы знаний

31 января состоится необычное занятие Онтологического верстака, посвященное математике. Всё, что вы хотели знать об основаниях математики, но не находили слов, чтобы спросить.

 

Мы привыкли к тому, что математика лежит в основе любого естественно-научного знания, однако, что лежит в основаниях самой математики? Насколько адекватно они отрефлексированы, и есть ли в математическом знании "слепые пятна"? 

Математика как форма знания и математика как форма мышления - это одно и тоже или нет?

Логика является основанием как математики, так и онтологии Аристотеля. Какая между ними связь? Каковы связи математики с другими античными онтологиями: Сократа, Платона, Пифагора?

Предполагаются доклады: Сергея Шилова и Антона Москаля, Андрея Парибка, Сергея Переслегина, а также форматы групповой работы над содержанием докладов.

 

Краткий план к одномe из докладов по основаниям математики:

1. Пятый постулат Эвклида.

2. Неархимедовы величины (рогатые углы у древних греков).

3. Метод исчерпания (вычёркивание).

4. Ньютон и бесконечно-малые.

5. Беркли (перенормировки).

6. Вопрос об универсалиях, номинализм и реализм. Аристотель, Борхес. Грамматический подход.

7. Лейбниц. Монады. Математическая логика.

8. Неэвклидова геометрия. Гаусс, Эйлер, Лобачевский, Бойяи.

9. Конкретная математика. Производящая функция.

10. Наивная теория множеств. Парадоксы.

11. Гейдельбергская программа Клейна.

12. Y-комбинатор. Изгнание рефлексивности. Ламбда-исчисление. Чёрч, Рассел.

13. Типы, категории, классы.

14. Аксиоматическая теория множеств, ZTF.

15. Арифметика Пеано.

16. Теоремы Гёделя.

17. Логики и арифметики высших порядков.

18. Аксиоматика и основания математического анализа. Интуиционизм, конструктивизм, функционализм, финитизм.

19. Модели. Теорема Лёвенгейма-Скулема.

20. Фон Нейман. Конечное и бесконечное (индуктивное и теоретико-множественное определения).

21. Гротендик. Теория категорий.

22. Вопенка, Вольпин-Есенин.

23. Паралогики.

 

Школы аналитики в этот раз не будет.

 

Видеоанонс:

 

Время занятий: 13.00-21.00.

Общая стоимость дня занятий: 2000 руб. Дистанционно: 750 руб.

Вопросы и дополнительная информация по тел.: 8-921-328-71-87 или по e-mail: info@sociosoft.ru.

Добавить комментарий