Большая Советская Энциклопедия (цитаты)

Ассоциация символической логики

Ассоциация символической логики (далее А) (англ. Association for symbolic logic), крупнейшая американская организация современных логиков, фактически является международной. Создана в 1936 по инициативе К. Дюкасса (первый президент А), А. Черча, Х. Керри, К. Льюиса и др. Ее цель — способствовать исследованиям по символической (формальной, математической) логике и непосредственно связанным с нею областям. Членом А может быть любой ученый или научное учреждение из любой страны мира, интересующиеся символической логикой. На начало 1969 имелось 48 институциональных и 1568 индивидуальных (из них 406 иностранных, включая представителей СССР) членов А Официальный орган А — "Journal of Symbolic Logic", выходящий ежеквартально С 1936.

  И. С. Добронравов.


Для поиска, наберите искомое слово (или его часть) в поле поиска


Новости 04.05.2024 19:23:02