Список литературы
1. Вейль Г. Символическая математика Гильберта // Вейль Г. О философии математики. 2-е изд., стереотипное. М.: КомКнига, 2005. С. 26–33.
2. Гильберт Д. Логические основания математики // Гильберт Д. Избранные труды: в 2 т. М.: Факториал, 1998. Т. II. С. 418–430.
3. Гильберт Д. Проблемы обоснования математики // Гильберт Д. Избранные труды: в 2 т. М.: Факториал, 1998. Т. I. С. 449–456.
4. Перминов В. Я. Философия и основания математики. М.: Прогресс–Традиция, 2001. 320 с.
5. Родин А. В. Математика Евклида в свете философии Платона и Аристотеля. М.: Наука, 2003. 211 с. Вейль Г. Давид Гильберт и его математические труды // Гильберт Д. Избранные труды: в 2 т. М.: Факториал, 1998. Т. II. С 480–520.
6. Рузавин Г. И. Гильбертовская программа и формалистическая философия математики // Методологический анализ оснований математики. М.: Наука, 1988. С. 108–116.
7. Султанова Л. Б. Неявное знание в развитии математики: монография. Уфа: РИЦ БашГУ, 2009. 260 с. Еровенко В. А., Михайлова Н. В. Методологическая программа Гильберта как философско-математическое исследование // Вестник Белорусского государственного университета. Серия 3. 2003. №2. С. 55–62.
8. Целищев В. В., Хлебалин А. В. Интуиция, формальная онтология и семантика знаков в формализме Гильберта // Вестник Новосибирского государственного университета. Серия: Философия. 2014. Т. 12. Вып. 3. С. 5–11.