Ouroboros 2018 - Formal Criteria of Self-Reference in Mathematics and Philosophy (16.- 18.02.2018) at the Hausdorff Center for Mathematics in Bonn
  • HOME
  • Speakers/Participants
  • Programme
  • Registration
  • Arrival and Venue
  • CONTACT
Ouroboros: Formal Criteria of Self-Reference in Mathematics and Philosophy 
16. - 18. February 2018, Hausdorff Center for Mathematics, Bonn (Germany)
While self-reference is deeply intertwined with logic and foundational aspects of mathematics, the notion itself is still surprisingly barely understood. For instance, it can be observed that in discussions regarding the nature of Visser’s and Yablo's paradoxes, often differing and vague concepts are applied. However, there has been recently several proposals of precise characterizations of self-reference. This workshop is intended to facilitate a discussion of such proposals, their interrelations and applicability to the paradoxes as well as their adequacy to capture the intuitive notion of self-reference. 

The meeting is designed as a hybrid between winter school and research conference and will consist of plenary talks as well as introductory workshops which are intended to give insight into related areas of current research.​ This interdisciplinary workshop is aimed at students and researchers from the fields of mathematics, philosophy and computer science. There will be no participation fee, but registration is required. More information and the registration form can be found here. 

We would be very happy to welcome you in Bonn. If you have any further questions, please do not hesitate to contact us, via this contact form.

A poster of the event can be downloaded here.

Best regards,
Balthasar Grabmayr, Regula Krapf, Ana Njegomir, Deniz Sarikaya and Mira Sarikaya


This workshop can be seen as the continuation of
  • the event on Formal Mathematics, held at the University of Bonn in March 2015
  • the FOMUS conference, held at the Center for interdisciplinary Research in Bielefeld in July 2016
  • and ... itself 
Bild


This workshop is organised with the generous support of the Hausdorff Center for Mathematics (HCM), the Gesellschaft für Analytische Philosophie (GAP),
the Association for Symbolic Logic (ASL) and the Deutsche Vereinigung für Mathematische Logik und für die Grundlagenforschung der Exakten Wissenschaften (DVMLG).
Bild
Bild
Bild
Bild
Bild
Bild
Powered by Create your own unique website with customizable templates.
  • HOME
  • Speakers/Participants
  • Programme
  • Registration
  • Arrival and Venue
  • CONTACT