Conferences and Meetings on History and Philosophy of Science and Technology
Select a location
Workshop "Formalize!(?) 2" — A philosophical & educational perspective on formalization in mathematics
15 Jan 2022 • Virtual, Any Location (virtual event)
What are the chances and problems of the act of formalization in the context of mathematics? It is often said, that all of mathematics can be reduced to first-order logic and set theory. The derivation indicator view says that all proofs stand in some relation to a derivation, i.e. a mechanically checkable syntactical objects following fixed rules, that would not have any gaps. For a long time this was a mere hope. There may have been proofs of concepts from early logicists but derivation never played a big role in mathematical practice. The modern computer might change this. Interactive and automated theorem provers promise to make the construction of a justification without any gaps feasible for complex mathematics. Is this promise justified? Will the future of mathematical practice shift to more formal mathematics? Should it? We hope to illuminate such questions and focus especially on what these developments mean for the future of the curriculum of university students. This event features speakers speaking about both concrete projects and reflections on such endeavours in general.
ASHF — Amsterdam Symposium on the History of Food 2022: Food and the Environment
11 Feb 2022 - 12 Feb 2022 • Amsterdam, Netherlands
The Symposium encourages scholars from all relevant fields of research to explore the continuing relevance of the interconnectedness of food history and environmental history. We invite abstracts for papers covering any topic related to the study of this theme.
food, food history, environmental history
Mathematics & Analogical Reasoning
03 Jun 2022 - 04 Jun 2022 • Munich, Germany
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.
4th International Conference on the History of Physics
08 Jun 2022 - 10 Jun 2022 • Trinity College, Dublin, Ireland
IOP History of Physics Group
History of Mathematics through Collaboration: Toward a Composite Portrait of Oswald Veblen
04 Dec 2022 - 10 Dec 2022 • Oberwolfach , Germany
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events.
Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!
Last updated: 14 October 2021