Diagonal TheoryToby Meadows (University of Queensland)
April 28, 2017, 7:00am - 9:00am
Logic Group, The University of Melbourne
University of Melbourne
Toby Meadows (Queensland) will present "Diagonal Theory" at 11 in Old Quad G09.Abstract: Diagonal arguments are a foundation stone in many areas of mathematical and philosophical logic, but few if any formal descriptions of them are accepted. I will compare three contemporary approaches and suggest how we should think about their relationships with each other. After that, I will highlight some interesting open questions and future projects.
Who is attending?
No one has said they will attend yet.
Will you attend this event?