Ассоциация символической логики
-
Обзор Ассоциации символической логики
- ASL — это международная организация, занимающаяся изучением символической логики.
- Основана в 1958 году, штаб-квартира находится в Филадельфии, США.
- ASL является членом Международной федерации математической логики и принадлежит к Американскому математическому обществу.
-
Структура и деятельность
- ASL состоит из 1000 членов и имеет 100 ассоциированных членов.
- Организация проводит ежегодные собрания и конференции, а также спонсирует лекции и семинары.
- ASL издает два журнала: Bulletin of Symbolic Logic и Review of Symbolic Logic.
-
История и достижения
- ASL сыграла ключевую роль в издании собрания сочинений Курта Геделя.
- Ассоциация спонсировала создание серии книг по логике и ежегодно проводит лекции Геделя.
-
Награды и премии
- ASL присуждает премию Карпа за выдающиеся работы в области символической логики каждые пять лет.
- Премия Сакса присуждается за выдающиеся докторские диссертации по математической логике.
- Премия Шенфилда присуждается за выдающиеся научные работы в области логики каждые три года.
-
Встречи и лекции
- ASL проводит ежегодные встречи в Северной Америке и Европе, а также совместные заседания с другими организациями.
- Лекция Геделя, названная в честь Курта Геделя, является одной из главных наград ассоциации.