27 September 2021, Minisymposium "Thinking about proofs" (at DMV-OeMG conference), Virtual

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. This minisymposium brings together philosophers, educators and linguist to study both proofs as they can be found in real textbook as well as in the logical sense, i.e. derivations.

This is an affiliated minisymposium to the DMV and ÖMG-annual meeting.