Джоэл Дэвид Хэмкинс
запостил в твиттере список вопросов конечного экзамена по своему курсу философии математики и науки в Оксфорде. Список мне понравился (студентам надо было ответить на 5 вопросов из 8):
1. В общих чертах: в чём состоит метод «доказательств и опровержений», описанный Имре Лакатосом?
2. Опишите два конкретных утверждения, сделанных Г. Х. Харди в книге «Апология математика», с которыми можно обоснованно не согласиться, и приведите либо критику их, либо защиту.
3. Подвергните критике или защитите тезис: в «Плаче математика» Пол Локхарт выдвигает главным образом эмоциональные или преувеличенные претензии к практике преподавания математики, не предлагая при этом ясной альтернативы.
4. Подвергните критике или защитите тезис: Кун и Фейерабенд в целом согласны в том, что основные продвижения научного знания происходят в бурные периоды научных революций.
5. Подвергните критике или защитите тезис: в «Характере физических законов» Фейнман излагает единую философию науки.
6. Точно объясните, что значит утверждение, что проблема остановки (halting problem) вычислимо неразрешима, и набросайте доказательство этого утверждения.
7. Подробно опишите, в чём состоит проблема P против NP, и обсудите её значимость.
8. Почему, по мнению Скотта Ааронсона, вычислительная сложность важна для философии?
Неплохо бы перечитать Лакатоса, которого я совсем забыл, и прочитать Фейерабенда. А так наверное смог бы чего-то написать по этим вопросам (хоть и вспоминается сцена из Довлатова про тему лишнего человека у Пушкина, конечно).