Konferenzen zum Thema Mathematische Logik, Grundlagen der Mathematik überall (Virtuelle Veranstaltung)

Wählen Sie ein Land aus
SLAI-2022 — Symposium on Logic and Artificial Intelligence
12. Jan 2022 - 16. Jan 2022 • Virtual, Überall (Virtuelle Veranstaltung)
The Symposium on Logic and Artificial Intelligence (“Symposium on L&AI” or “SLAI”) is annually organized by the International Society for Logic and Artificial Intelligence (ISLAI) in cooperation with research, development and educational organizations worldwide. SLAI is intended to add synergy to the efforts of researchers working on logic, AI, and their confluence. Round tables are planned to ensure an open debate on the state of the art and new directions.
Paths in Logic (World Logic Day Celebration at Haifa), Online
13. Jan 2022 • Online, Überall (Virtuelle Veranstaltung)
Logic deals with correct and incorrect reasoning, the connection between language and the world, and examines how we can use language to make correct statements about structures. It lies at the interface between mathematics, philosophy and computer science. Are you interested in the basics of mathematics, philosophy and computer science and are you considering taking logic courses in your department or other departments or writing a thesis in logic? This workshop is mainly aimed at undergraduate and graduate students. Logic will be highlighted worldwide on UNESCO World Logic Day 2022.
Workshop "Formalize!(?) 2" — A philosophical & educational perspective on formalization in mathematics
15. Jan 2022 • Virtual, Überall (Virtuelle Veranstaltung)
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.

Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung. Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.

Stand vom 14. Oktober 2021