Во многих современных работах по логике и математике, в которых заметно влияние программы Гильберта, не находят объяснения многие явно нелепые с точки зрения естественной логики утверждения

Во многих современных работах по логике и математике, в которых заметно влияние программы Гильберта, не находят объяснения многие явно нелепые с точки зрения естественной логики утверждения. Соотношение между "элементом" и "множеством" является простейшим примером такого рода. Во многих работах этого направления утверждается, что некоторое множество (назовем его A) может быть элементом другого множества (назовем его B).

Например, в широко известном руководстве по математической логике мы встретим такую фразу: "Множества сами могут быть элементами множеств, так, например, множества всех множеств целых чисел имеет своими элементами множества". Заметим, что это утверждение не просто оговорка. Оно содержится в качестве "скрытой" аксиомы в формальной теории множеств, которую многие специалисты считают основанием современной математики, а также в формальной системе, которую построил математик Гедель при доказательстве своей знаменитой теоремы о неполноте формальных систем.

Эта теорема относится к довольно узкому классу формальных систем (в их число входит формальная теория множеств и формальная арифметика Пеано), логическая структура которых явно не соответствуют логической структуре естественных рассуждений и обоснований. Однако уже более полувека она является предметом бурного обсуждения среди логиков и философов в контексте общей теории познания. При таком широком обобщении этой теоремы получается, что принципиально непознаваемыми являются многие элементарные понятия. Но при более трезвом подходе оказывается, что теорема Геделя показала лишь несостоятельность программы формального обоснования математики, предложенной Д. Гильбертом и подхваченной многими математиками, логиками и философами. Более широкий методологический аспект теоремы Геделя вряд ли можно считать приемлемым до тех пор, пока не получен ответ на следующий вопрос: является ли программа обоснования математики, предложенная Гильбертом, единственно возможной?

Б.А. Кулик. Часть 7.

Источник: vk.com

Комментарии: