There are many algorithms implicit or explicit in the way society works: for example, an election, or vaccine distribution policy. These algorithms rely on logical properties of underlying physical and social structures. For instance, in an election, we not only want confidentiality but also verifiability (that every vote cast has been counted), and many more such properties. Can we prove that these requirements are even consistent (something that we take for granted)?
Many insights from mathematical logic, computer science, game theory and dynamical systems theory seem useful for such exploration.
Zoom link: https://icts-res-in.zoom.us/j/85646601790?pwd=bmpDbnFFMUxBYkY5aXRxSUxHcE1xdz09
Meeting ID: 856 4660 1790