Асоціація символьної логіки
З Вікіпедії, безкоштовно encyclopedia
Асоціація символьної логіки (англ. The Association for Symbolic Logic, ASL) — міжнародна організація фахівців з математичної логіки та філософської логіки. ASL була заснована в 1936 році, та її першим президентом був Алонзо Черч. Нинішній президент ASL — Джулія Ф. Найт[1].
Коротка інформація Асоціація символьної логіки, Абревіатура ...
Асоціація символьної логіки | |
---|---|
Абревіатура | ASL |
Тип | наукове товариство |
Засновано | 1936 |
Правовий статус | асоціація |
Мета | Research, Inquiry |
Сфера | філософська логіка і математична логіка |
Країна | США |
Штаб-квартира | Сторс, Крнектикут |
Президент | Джулія Ф.Найт |
Віце-президент | Phokion Kolaitis |
Co-Secretary-Treasurer | Russell G. Miller |
Co-Secretary-Treasurer | Reed Solomon |
Критерій членів | логік[d] |
Вебсайт: aslonline.org | |
Закрити