|
Новая философская энциклопедия. Том первыйВ 1929 в статье «O некоторых аспектах логики Брауэра» (Sur quelques points de la Logique de M. Brouwer, рус. пер., 1998) Гливенко осуществил первую полную аксиоматизацию пропозициональной интуиционистской логики (логики суждений) и на ее основе дал общий ответ на вопрос о том, какие именно суждения (в рамках логики суждений) классической логики сохраняют силу и в интуиционистской логике. Соч.: Sur la Logique de M. Brouwer. — Academie Royale de Belgique. Bulletins de la classe de sciences, 1928, ser. 5, 14; Sur quelques poinls 532 ГЛОБАЛИСТИКА de la Logique de M. Brouwer. — Ibid., 1929, ser. 5,15 (рус. пер.: Труды научно-исследовательского семинара логического центра Института философии РАН. М., 1998); Логика противоречия. — В кн.: Сб. работ математического раздела Коммунистической Академии, т. 1. М., [1929] с 100—104; Понятие дифференциала у Маркса и Ада- мара. — «Под знаменем марксизма», 1934, № 5, с. 79—85; Кризис основ математики на современном этапе его развития. — В кн.: Сб. статей по философии математики. М., 1936, с. 69—83; Менделеевская алгебра, Доклады АН СССР, 1936, т. 4 (13); Общая теория предела функции, Записки Государственного педагогического института им. К ...» |
Код для вставки книги в блог HTML
phpBB
текст
|
|