### Wed - January 15, 2025

# Formalize!(?) - 5

### The Ethics of Formalizations

### Online

15:15 - 19:15 (CET / UTC+1)

## A one-day Zoom Workshop

You can register via this google form. If you do not want to use a google form, please write an email to the contact listed below.

If you have any problem with the registration write an email to: deniz.sarikaya at vub.be

This is the 4th iteration of Formalize. See here for previous iterations: 1st iteration, 2nd iteration, 3rd iteration, and 4th iteration

The fith iteration focuses on ethical aspects.

This series of events began with the theme of foundations in the context of automated theorem proving:

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.

After three years on the topic, we have realized that this context is too narrow to understand formalization and thus we have we added a yearly theme (although not all talks are necessarily aligned with it). This year we focus on historical perspectives: How were different formal systems implemented? How much choice was there? Is our current view an ironed out history, written by the winner of the debate?

## Speakers

Christian Herzog (Universität zu Lübeck)

Robert Naylor (Manchester)

Vlasta Sikimić (TU Eidhoven)

Aleksandra Vučković (Belgrade)

More TBA

## Schedule

15:15 - 15:30 Introduction

15:30 - 16:15 Talk 1:

16:15 - 17:00 Talk 2:

17:00 - 17:30 Break and zoom photo

17:30 - 18:15 Talk 4:

18:15 - 19:00 Talk 5:

19:00 - 19:15 closing

19:15 - The room will stay open for unofficial discussion

## Abstracts and title (in order of the talks):

TBA

## Due to accessibility considerations we will continue to meet online.

## Support

This event is possible due to the support of

FWO-project "The Epistemology of Big Data: Mathematics and the Critical Research Agenda on Data Practices"

Swiss National Science Foundation postdoc.mobility project "mathematizing biology: measurement, intuitions, explanations, and big data