27 - 28 сентября 2013 г. в МГУ проходила Третья Всероссийская конференция "Философия математики: актуальные проблемы", организованная Философским и Механико-математическим факультетами. Тезисы моего доклада "Обоснование математики - вечная проблема?" стр. 193 "Сборника тезисов конференции". На конференции, к сожалению, глубинного "мозгового штурма" по проблеме обоснования математики не получилось, несмотря на то, что эта проблема была обозначена как одна из центральных в программе конференции. Обоснование математики - вечная проблема? Д...

Говоря о математике, мы, вероятно, имеем в виду вторичный язык, возникший над первобытным, который использует только нервная система. Джон фон Нейман В наши дни Давид Гильберт довел аксиоматический метод до горького конца, когда суждения математики, включая аксиомы, превратились в формулы и игра в дедукцию свелась к выводу из аксиом тех или иных формул по правилам, не учитывающим смысла формул. Герман Вейль Продолжаем анализировать «обосновательную эпопею» в математике в первой половине XX-го века...