| Property |
Value |
| dbo:abstract
|
- Die Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften e.V. (DVMLG) ist die Fachvertretung von Forschern im interdisziplinären Forschungsgebiet der Logik (innerhalb der Fächer Mathematik, Philosophie, Informatik und Linguistik). Sie wurde 1962 von Wilhelm Ackermann, Gisbert Hasenjaeger, Hans Hermes, Jürgen von Kempski, Paul Lorenzen, Arnold Schmidt und Kurt Schütte gegründet und ist ein beim Amtsgericht Marburg eingetragener Verein. Mitglieder der DVMLG sind Forscher aus der Mathematischen Logik, der Philosophischen Logik und der Theoretischen Informatik. Alle zwei Jahre organisiert die DVMLG das Colloquium Logicum, eine internationale Fachtagung zur Logik. Sie ist verbunden mit einer Mitgliederversammlung des DVMLG. Das Colloquium Logicum 2012 in Paderborn war eine der deutschen Veranstaltungen des Alan Turing-Jahres. 2002 fand das Colloquium Logicum zusammen mit der jährlichen europäischen Sommertagung der Association for Symbolic Logic in Münster statt. Sie organisiert mit der DMV die Fachgruppe Logik innerhalb der DMV. Sie ist Mitglied der Division of Logic, Methodology and Philosophy of Science and Technology (DLMPST) der International Union of History and Philosophy of Science and Technology (IUHPST), einer Mitgliedsorganisation des Internationalen Wissenschaftsrats. (de)
- Die Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften e.V. (DVMLG) ist die Fachvertretung von Forschern im interdisziplinären Forschungsgebiet der Logik (innerhalb der Fächer Mathematik, Philosophie, Informatik und Linguistik). Sie wurde 1962 von Wilhelm Ackermann, Gisbert Hasenjaeger, Hans Hermes, Jürgen von Kempski, Paul Lorenzen, Arnold Schmidt und Kurt Schütte gegründet und ist ein beim Amtsgericht Marburg eingetragener Verein. Mitglieder der DVMLG sind Forscher aus der Mathematischen Logik, der Philosophischen Logik und der Theoretischen Informatik. Alle zwei Jahre organisiert die DVMLG das Colloquium Logicum, eine internationale Fachtagung zur Logik. Sie ist verbunden mit einer Mitgliederversammlung des DVMLG. Das Colloquium Logicum 2012 in Paderborn war eine der deutschen Veranstaltungen des Alan Turing-Jahres. 2002 fand das Colloquium Logicum zusammen mit der jährlichen europäischen Sommertagung der Association for Symbolic Logic in Münster statt. Sie organisiert mit der DMV die Fachgruppe Logik innerhalb der DMV. Sie ist Mitglied der Division of Logic, Methodology and Philosophy of Science and Technology (DLMPST) der International Union of History and Philosophy of Science and Technology (IUHPST), einer Mitgliedsorganisation des Internationalen Wissenschaftsrats. (de)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageRevisionID
| |
| prop-de:abkürzung
| |
| prop-de:gründungsdatum
| |
| prop-de:vorstand
|
- Benedikt Löwe , Katrin Tent , Martin Ziegler , Dietrich Kuske, Heike Mildenberger, Olivier Roy
|
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Die Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften e.V. (DVMLG) ist die Fachvertretung von Forschern im interdisziplinären Forschungsgebiet der Logik (innerhalb der Fächer Mathematik, Philosophie, Informatik und Linguistik). Sie wurde 1962 von Wilhelm Ackermann, Gisbert Hasenjaeger, Hans Hermes, Jürgen von Kempski, Paul Lorenzen, Arnold Schmidt und Kurt Schütte gegründet und ist ein beim Amtsgericht Marburg eingetragener Verein. Mitglieder der DVMLG sind Forscher aus der Mathematischen Logik, der Philosophischen Logik und der Theoretischen Informatik. Alle zwei Jahre organisiert die DVMLG das Colloquium Logicum, eine internationale Fachtagung zur Logik. Sie ist verbunden mit einer Mitgliederversammlung des DVMLG. Das Colloquium Logicum 2 (de)
- Die Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften e.V. (DVMLG) ist die Fachvertretung von Forschern im interdisziplinären Forschungsgebiet der Logik (innerhalb der Fächer Mathematik, Philosophie, Informatik und Linguistik). Sie wurde 1962 von Wilhelm Ackermann, Gisbert Hasenjaeger, Hans Hermes, Jürgen von Kempski, Paul Lorenzen, Arnold Schmidt und Kurt Schütte gegründet und ist ein beim Amtsgericht Marburg eingetragener Verein. Mitglieder der DVMLG sind Forscher aus der Mathematischen Logik, der Philosophischen Logik und der Theoretischen Informatik. Alle zwei Jahre organisiert die DVMLG das Colloquium Logicum, eine internationale Fachtagung zur Logik. Sie ist verbunden mit einer Mitgliederversammlung des DVMLG. Das Colloquium Logicum 2 (de)
|
| rdfs:label
|
- Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften (de)
- Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften (de)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| is foaf:primaryTopic
of | |
