JК
Онтология математического дискурса :: Гутнер Г Б
Страница: 77 из 170Мы очевидно имеем дело с принципиально иной философской установкой, выражающейся, в частности, в попытке иначе (чем основываясь на понятии конструктивности) определить онтологический статус предмета.
С другой стороны, однако, не нужно глубокого проникновения в суть формальной математики, чтобы увидеть множество черт, сближающих ее с интуиционистской. Прежде всего, обращает на себя внимание слово "финитность", использованное самим Гильбертом в качестве основной характеристики своего метода рассуждения. Сам этот термин, явно указывающий на завершенность осуществляемых процедур (т.е., по сути, на конструктивность), мог бы быть применен и к интуиционистской математике. Если же говорить о попытках определения финитности, предпринимавшихся именно в рамках гильбертовской школы, то они подчас вызывают полное ощущение того, что речь идет об основных посылках интуиционизма. Френкель и Бар-Хиллел, например, в качестве окончательной формулы финитного метода рассуждения приводят следующую цитату из Ж. Эрбрана (известного математика - ученика Гильберта): "Всегда рассматривается лишь конечное и определенное число предметов и функций, функции эти точно определены, причем определение позволяет произвести однозначное вычисление их значений; никогда не утверждается существование какого-либо объекта без указания способа построения этого объекта; никогда не рассматривается (как вполне определенное) множество всех предметов X какой-либо бесконечной совокупности" ([55], c.321).
С другой стороны, однако, не нужно глубокого проникновения в суть формальной математики, чтобы увидеть множество черт, сближающих ее с интуиционистской. Прежде всего, обращает на себя внимание слово "финитность", использованное самим Гильбертом в качестве основной характеристики своего метода рассуждения. Сам этот термин, явно указывающий на завершенность осуществляемых процедур (т.е., по сути, на конструктивность), мог бы быть применен и к интуиционистской математике. Если же говорить о попытках определения финитности, предпринимавшихся именно в рамках гильбертовской школы, то они подчас вызывают полное ощущение того, что речь идет об основных посылках интуиционизма. Френкель и Бар-Хиллел, например, в качестве окончательной формулы финитного метода рассуждения приводят следующую цитату из Ж. Эрбрана (известного математика - ученика Гильберта): "Всегда рассматривается лишь конечное и определенное число предметов и функций, функции эти точно определены, причем определение позволяет произвести однозначное вычисление их значений; никогда не утверждается существование какого-либо объекта без указания способа построения этого объекта; никогда не рассматривается (как вполне определенное) множество всех предметов X какой-либо бесконечной совокупности" ([55], c.321).