Matematiksel mantık ve kesin bilimlerde temel araştırma için Alman derneği
Alman Matematiksel Mantık ve Tam Bilimlerde Temel Araştırma Derneği (DVMLG) | |
---|---|
yasal şekli | kayıtlı dernek |
kurucu | 1962
|
Yazı tahtası | Benedikt Löwe (Başkan), Katrin Tent (Başkan Yardımcısı), Martin Ziegler (Sayman), Dietrich Kuske, Heike Mildenberger, Olivier Roy |
İnternet sitesi | http://www.dvmlg.de |
Tam Bilimler Temel Araştırma Matematiksel Mantık ve Alman Derneği eV (DVMLG) (matematik, felsefe, bilgisayar bilimi ve dilbilim nesnelerle birlikte) mantığın disiplinlerarası araştırma alanında araştırmacıların uzman temsilcisidir. Wilhelm Ackermann , Gisbert Hasenjaeger , Hans Hermes , Jürgen von Kempski , Paul Lorenzen , Arnold Schmidt ve Kurt Schütte tarafından 1962 yılında kurulmuş ve Marburg Bölge Mahkemesine kayıtlı bir dernektir . DVMLG'nin üyeleri matematiksel mantık alanında çalışan araştırmacılardır .Felsefi Mantık ve Teorik Bilgisayar Bilimleri . DVMLG, her iki yılda bir, mantık üzerine uluslararası bir uzman konferansı olan Colloquium Logicum'u düzenler . DVMLG'nin genel toplantısı ile ilişkilidir. Kolokyum Logicum 2012 yılında Paderborn Alan Turing'in yılın Alman olaylardan biriydi. 2002'de Colloquium Logicum, Sembolik Mantık Derneği'nin yıllık Avrupa yaz konferansı ile birlikte Münster'de gerçekleşti .
Birlikte DMV ile, o içinde mantık uzman grubu organize DMV . O üyesidir Mantık, Metodoloji ve Bilim ve Teknoloji Felsefe Bölümü arasında (DLMPST) Tarihi ve Bilim ve Teknoloji Felsefesi Uluslararası Birliği (IUHPST), üyesi örgütü Uluslararası Bilim Konseyi .
Başkan ve yönetim kurulu üyelerinin listesi
- Arnold Schmidt (1962–1967)
- Hans Hermes (1967–1970)
- Arnold Oberschelp (1970–1976)
- Gert H. Müller (1976–1981)
- Michael M. Richter (1981–1985)
- Justus Diller (1985)
- Klaus Potthoff (1985–1990)
- Hans-Georg Carstens (1990–1992)
- Helmut Pfeiffer (1992–1996)
- Sabine Koppelberg (1996-2000)
- Jörg Flum (2000-2002)
- Peter Koepke (2002-2008)
- Ulrich Kohlenbach (2008–2012)
- Benedikt Löwe (2012'den beri)
Aşağıdaki kişiler DVMLG'nin yönetim kurulu üyeleridir:
- Wilhelm Ackermann (1962)
- Gisbert Hasenjaeger (1962–1970)
- Hans Hermes (1962–1972; Başkan 1967–1970)
- Jürgen von Kempski (1962–1965)
- Paul Lorenzen (1962–1972)
- Arnold Schmidt (1962–1967; Başkan 1962–1967)
- Kurt Schütte (1962–1971)
- Arnold Oberschelp (1965–1979; Başkan 1970–1976)
- Wolfgang Stegmüller (1965–1969)
- Gert H. Müller (1968–1981; Başkan 1976–1981)
- Ernst Specker (1970–1977)
- Walter Oberschelp (1971–1977)
- Justus Diller (1972–1990; Başkan 1985–1986)
- Heinz-Dieter Ebbinghaus (1972–1981)
- Helmut Pfeiffer (1977–1996; Başkan 1992–1996)
- Anne Troelstra (1977-2000)
- Klaus Potthoff (1979–1990; Başkan 1986–1990)
- Michael M. Richter (1981–1986; Başkan 1981–1985)
- Christian Thiel (1981-2004)
- Hans-Georg Carstens (1986–1992; Başkan 1990–1992)
- Sabine Koppelberg (1990–2000; Başkan 1996–2000)
- Martin Ziegler (1992–1998)
- Martin Weese (1994-2000)
- Wolfram Pohlers (1996-2008)
- Johann Makowsky (1998-2010)
- Peter Koepke (2000–2008; Başkan 2002–2008)
- Wolfgang Thomas (2000-2006)
- Jörg Flum (2000–2006; Başkan 2000–2002)
- Volker Peckhaus (2004–2016; Başkan Yardımcısı 2012–2016)
- Ulrich Kohlenbach (2006–2012; Başkan Yardımcısı 2006–2008; Başkan 2008–2012)
- Benedikt Löwe (2006'dan beri; Başkan Yardımcısı 2008–2012; Başkan 2012'den beri)
- Arnold Beckmann (2008-2016)
- Ralf Schindler (2008–2012)
- Nicole Schweikardt (2010-2016)
- Sy David Friedman (2012-2014)
- Katrin Çadır (2012'den beri; 2016'dan beri Başkan Yardımcısı)
- Martin Ziegler (2014'ten beri)
- Dietrich Kuske (2016'dan beri)
- Heike Mildenberger (2016'dan beri)
- Olivier Roy (2016'dan beri)
İnternet linkleri
Bireysel kanıt
- ^ Bilgi hizmeti bilimi: Colloquium Logicum 2008, Darmstadt
- ↑ Zoe Chatzidakis, Peter Koepke (editör) olarak yayınlandı Logic Collogium 02 , AK Peters, Lecture notları Logic, Cilt 27, 2006
- ↑ DVMLG web sitesi . 28 Temmuz 2016 tarihinde orjinalinden arşivlendi . Bilgi: Arşiv bağlantısı otomatik olarak eklendi ve henüz kontrol edilmedi. Lütfen orijinal ve arşiv bağlantısını talimatlara göre kontrol edin ve ardından bu uyarıyı kaldırın. Erişim tarihi: July 28, 2016.