„Association for Symbolic Logic“ – Versionsunterschied
| [gesichtete Version] | [gesichtete Version] |
| Zeile 3: | Zeile 3: | ||
Die '''Association for Symbolic Logic''' ('''ASL''') ist die größte internationale Organisation von [[Logik]]ern (mathematische Logiker und Philosophen). Sie wurde 1936 gegründet und hat ihren Sitz am [[Vassar College]] in [[Poughkeepsie]] im [[US-Bundesstaat]] [[New York (Bundesstaat)|New York]]. |
Die '''Association for Symbolic Logic''' ('''ASL''') ist die größte internationale Organisation von [[Logik]]ern (mathematische Logiker und Philosophen). Sie wurde 1936 gegründet und hat ihren Sitz am [[Vassar College]] in [[Poughkeepsie]] im [[US-Bundesstaat]] [[New York (Bundesstaat)|New York]]. |
||
Erster Präsident war [[Alonzo Church]]. Vorsitzende ist zurzeit [[Julia Knight]].<ref>{{Internetquelle|url=https://aslonline.org/about-the-asl/former-officers-council-members-and-executive-committee-members/ | |
Erster Präsident war [[Alonzo Church]]. Vorsitzende ist zurzeit [[Julia Knight]].<ref>{{Internetquelle|url=https://aslonline.org/about-the-asl/former-officers-council-members-and-executive-committee-members/ |titel=Liste der Amtsträger und Beiratsmitglieder|abruf=2023-05-03}}</ref> |
||
Die ASL hat zwei Haupt-Konferenzen in jedem Jahr, eine in den USA und eine in Europa (''Logic Colloquium''). Außerdem organisiert sie weitere Konferenzen, zum Beispiel regelmäßig mit der [[American Mathematical Society]] und der [[American Philosophical Society]]. |
Die ASL hat zwei Haupt-Konferenzen in jedem Jahr, eine in den USA und eine in Europa (''Logic Colloquium''). Außerdem organisiert sie weitere Konferenzen, zum Beispiel regelmäßig mit der [[American Mathematical Society]] und der [[American Philosophical Society]]. |
||
Version vom 4. Mai 2023, 10:48 Uhr
Die Association for Symbolic Logic (ASL) ist die größte internationale Organisation von Logikern (mathematische Logiker und Philosophen). Sie wurde 1936 gegründet und hat ihren Sitz am Vassar College in Poughkeepsie im US-Bundesstaat New York.
Erster Präsident war Alonzo Church. Vorsitzende ist zurzeit Julia Knight.[1]
Die ASL hat zwei Haupt-Konferenzen in jedem Jahr, eine in den USA und eine in Europa (Logic Colloquium). Außerdem organisiert sie weitere Konferenzen, zum Beispiel regelmäßig mit der American Mathematical Society und der American Philosophical Society.
Sie vergibt mehrere Preise: jährlich die Ehrung als Gödel-Lecturer, den alle drei Jahre vergebenen Shoenfield-Preis (für herausragende Darstellungen der Logik), den Sacks Preis für herausragende Doktorarbeiten und den alle fünf Jahre vergebenen Karp-Preis.
Die Organisation gibt die Zeitschriften Bulletin of Symbolic Logic, Journal of Symbolic Logic und Review of Symbolic Logic heraus sowie eigene Buchreihen.
Weblinks
Einzelnachweise
- ↑ Liste der Amtsträger und Beiratsmitglieder. Abgerufen am 3. Mai 2023.