И.Кант И Гильбертовская теория доказательств (роль идеальных образов у Д.Гильберта и И.Канта).

Abstract

Связь интуиционизма с философией И.Канта хорошо известна и исследована достаточно глубоко в работах по основаниям математики и в историко-философской литературе. Логицизм как направление в обосновании математики опирался на идеи Лейбница, противопоставляя в трактовке необходимого, математического знания линию Лейбница линии Канта. Однако интереснейший, с нашей точки зрения, вопрос об отношении гильбертовской программы обоснования математики к идеям Канта не раскрыт достаточным образом.