dbo:abbreviation
| |
dbo:abstract
|
- 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. Vorsitzender ist zurzeit Alasdair Urquhart. 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. (de)
- The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Alonzo Church. The current president of the ASL is Julia F. Knight. (en)
- La Association for Symbolic Logic (ASL) es el organismo internacional de especialistas en lógica y lógica matemática de mayor prestigio a nivel mundial. Reconocido a nivel mundial en el campo de la teoría de modelos, fue fundado en 1936, un año crucial en el desarrollo de la lógica moderna, y su primer presidente fue Alonzo Church. Su presidente actual es . (es)
- L'Association for Symbolic Logic ou ASL, est une organisation internationale regroupant des spécialistes et chercheurs en logique mathématique et logique philosophique. L'ASL a été fondée en 1936 et son premier président fut Alonzo Church. Le président actuel de l'ASL est (en). (fr)
- Асоціація символьної логіки (англ. The Association for Symbolic Logic, ASL) — міжнародна організація фахівців з математичної логіки та філософської логіки. ASL була заснована в 1936 році, та її першим президентом був Алонзо Черч. Нинішній президент ASL — . (uk)
|
dbo:headquarter
| |
dbo:leaderFunction
| |
dbo:purpose
| |
dbo:thumbnail
| |
dbo:type
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 10274 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:abbreviation
| |
dbp:formation
| |
dbp:headquarters
| |
dbp:leaderName
| |
dbp:leaderTitle
|
- President (en)
- Vice President (en)
- Co-Secretary-Treasurer (en)
|
dbp:name
|
- Association for Symbolic Logic (en)
|
dbp:purpose
| |
dbp:type
| |
dbp:website
| |
dbp:wikiPageUsesTemplate
| |
dcterms:subject
| |
gold:hypernym
| |
schema:sameAs
| |
rdf:type
| |
rdfs:comment
|
- The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Alonzo Church. The current president of the ASL is Julia F. Knight. (en)
- La Association for Symbolic Logic (ASL) es el organismo internacional de especialistas en lógica y lógica matemática de mayor prestigio a nivel mundial. Reconocido a nivel mundial en el campo de la teoría de modelos, fue fundado en 1936, un año crucial en el desarrollo de la lógica moderna, y su primer presidente fue Alonzo Church. Su presidente actual es . (es)
- L'Association for Symbolic Logic ou ASL, est une organisation internationale regroupant des spécialistes et chercheurs en logique mathématique et logique philosophique. L'ASL a été fondée en 1936 et son premier président fut Alonzo Church. Le président actuel de l'ASL est (en). (fr)
- Асоціація символьної логіки (англ. The Association for Symbolic Logic, ASL) — міжнародна організація фахівців з математичної логіки та філософської логіки. ASL була заснована в 1936 році, та її першим президентом був Алонзо Черч. Нинішній президент ASL — . (uk)
- 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. Vorsitzender ist zurzeit Alasdair Urquhart. 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. (de)
|
rdfs:label
|
- Association for Symbolic Logic (en)
- Association for Symbolic Logic (de)
- Association for Symbolic Logic (es)
- Association for Symbolic Logic (fr)
- Асоціація символьної логіки (uk)
|
owl:sameAs
| |
skos:closeMatch
| |
prov:wasDerivedFrom
| |
foaf:depiction
| |
foaf:homepage
| |
foaf:isPrimaryTopicOf
| |
foaf:name
|
- Association for Symbolic Logic (en)
|
is dbo:award
of | |
is dbo:publisher
of | |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is dbp:awards
of | |
is dbp:publisher
of | |
is foaf:primaryTopic
of | |