Гейтинг А. Обзор исследований по основаниям математики. 1936.
Гейтинг А. Обзор исследований по основаниям математики. Интуиционизм-теория доказательства. - М.-Л.: ОНТИ, 1936. - 96 с.
скачать книгу (DjVu)
В книге Гейтинга дается обзор двух основных школ современной буржуазией философии математики — интуиционизма и формализма. В процессе критической работы обе школы, несмотря на их философские субъективно идеалистические предпосылки, открыли ряд чрезвычайно глубоких и интересных математических фактов. Ознакомление с ними приставляет интерес для советского читателя, желающего ознакомиться с вопросами обоснования математики. Сам автор книги — видный интуиционист, одни из ближайших учеников главы интуиционистской школы Броуэра.