Konferenzen zum Thema Mathematische Logik, Grundlagen der Mathematik in Deutschland

Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)

Kurse und Veranstaltungen für Studenten der Mathematik,    Informationstheorie und Grundlagen der Informatik

The goal of this conference is to investigate the role of mathematics as a heuristic device for analogical reasoning in science and philosophy. ​ Empirical science relies heavily on mathematics. Mathematical models enable physicists to simulate dynamical ‘dumb hole’ analogues to gravitational black holes (Curiel 2019; Dardashti, Thébault, and Winsberg 2017; Gryb, Palacios, and Thébault 2019), chemists to study the behaviour of molecules, medical researchers to examine the spreading rate of diseases, and biologists to understand changes in animal populations. There is no doubt that mathematics is an indispensable scientific tool.

The 25th conference of the German Society of Philosophy deals with the true, the good, and the beautiful – and, therefore, with everything? Yes and no. As always, the conference will be an exhibition of philosophy and provide the opportunity to present research from all parts of philosophy: in 40 sections there will be talks about virtually all fields and periods of philosophy. At the same time, there will be, mainly in the colloquia, a focus on special questions, which have, in recent years, more and more taken centre stage in philosophical research. These questions are concerned with the relations between truth, goodness and beauty: What is the relation between epistemic and practical norms? Can judgements about the good and the beautiful be true (and false)? What is the value of truth? Is a good life a beautiful life? Is the aim of art beauty, truth or goodness? These and related questions are located at the intersection of theoretical and practical philosophy – and, therefore, maybe at the centre of philosophy in general.

An international autumn school "Proof and Computation" will be held from 20th to 26th September 2020 at Aurachhof in Fischbachau near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.

Predicative Foundations Constructive Mathematics and Type Theory Computation in Higher Types Extraction of Programs from Proofs

Kurse und Veranstaltungen für Studenten der Mathematik,    Informationstheorie und Grundlagen der Informatik

Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)