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