Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \ Учебники и монографии по математической логике \

9.6.2.8.2. Основания математики
(Д. Гильберт, П. Бернайс)

Начало см. здесь.
Гильберт Д., Бернайс П. Основания математики.
Пер. с нем. Н. М. Нагорного под ред. С. И. Адяна.
Том I. Логические исчисления и формализация арифметики. М.: Наука, 1979.
Том II. Теория доказательств. М.: Наука, 1982.
9.6.2.8.2.1. Логические исчисления и формализация арифметики
О важной роли придуманной Фреге системы обозначений см. у Дж. Робинсона.
О О "логицизме" тоже можно посмотреть у Дж. Робинсона.
Представление о программе Брауэра можно получить здесь.
Культовую книгу Д. Гильберта "Основания геометрии" см. здесь.
9.6.2.8.2.1. Логические исчисления и формализация арифметики
К началу данной страницы
Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \ Учебники и монографии по математической логике \