27 Sep 2021
CfR: Thinking about Proofs:
formal, philosophical, linguistical and educational perspectives
September 27, 2021 ? Online
https://thinkingaboutproofs.wordpress.com/
Affiliated Minisymposium to the DMV and ÖMG-annual meeting. (see:
https://www.uni-passau.de/en/dmv-oemg-jahrestagung-2021/home/ )
== Speakers and titles of the talks:
Neil Barton (Universität Konstanz): Mathematical Gettier cases.
Paola Iannone (Loughborough University): Learning about proof with LEAN
Bernhard Schröder (Universität Duisburg-Essen): How proofs are told.
Linguistic aspects of proof texts.
Athina Thoma (University of East Anglia): Students? learning LEAN ?
Investigating strategies and knowledge using specific tasks.
Keith Weber (Rutgers University): Presenting proofs to students: The
difference between what students hear and what mathematicians are trying to
convey.
== Topic:
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.
== Registration:
This is an affiliated minisymposium to the DMV and ÖMG-annual meeting. So you
need to register to the main conference to participate:
https://www.uni-passau.de/en/dmv-oemg-jahrestagung-2021/registration/ . This
costs EUR 30, but there are more relevant sections/ symposia you get access to.
== Support:
We are very thankful for the support by the DVMLG: Deutsche Vereinigung für
Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften
== Contact:
Web: https://thinkingaboutproofs.wordpress.com/
Mail: deniz.sarikaya@uni-hamburg.de
https://twitter.com/DenizPhiMa
== Organizers:
Deniz Sarikaya (Hamburg)
Please do not hesitate to contact us for any further information.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam