|
Новая философская энциклопедия. Том второйВ информатике в 50-х гг. он предложил общее определение понятия алгоритма, а в 60-х гг., опираясь на алгоритмические представления, создал теорию сложности конструктивных объектов. Эта теория в свою очередь была применена им для построения нового обоснования теории информации. Выдающуюся роль в логике играют две статьи Колмогорова: «О принципе tertium non datur» (Математический сборник, 1925, т. 32, № 4, с. 668—677) и «Zur Deutung der intuitionist- ischen Logik» (Mathematische Zeitschrift, 1932, Bd. 35, S. 58 - 65); обе перепечатаны в его кн. «Избранные труды. Математика и механика» (вторая — в рус. пер.: «К толкованию интуиционистской логики»). Обе объединены общей идеей — навести мост между интуиционистской логикой и традиционной, или «классической», логикой, причем сделать это средствами, свободными как от идеологии интуиционизма, так и от крайностей теоретико-множественного догматизма. В статье 1925 предлагается такая интерпретация «классической логики, которая приемлема с точки зрения интуиционизма; напротив, в статье 1932 предлагается такая интерпретация интуиционистской логики, которая приемлема с классических позиций. В статье «О принципе...» ученый принимает предпринятую главой интуиционизма Брауэром критику традиционной логики, при этом обнаруживая в последней еще один уязвимый, но обойденный критикой Брауэра логический принцип, а именно принцип, выражаемый аксиомой А —> (-* А—>В) ...» |
Код для вставки книги в блог HTML
phpBB
текст
|
|