Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own

View analytic
Friday, August 7 • 11:00 - 13:00
C1.8 Philosophy of the Formal Sciences

Sign up or log in to save this to your schedule and see who's attending!

7 August 11:00AM– 01:00PM

SPEAKERS AND TITLES

Dispensability of Higher-Order in Mathematics
Besim Karakadilar, Philosophy, University of Helsinki, Helsinki, FINLAND

Constructive Axiomatic Method in Euclid, Hilbert and Voevodsky
Andrei Rodin, Institute of Philosophy, Russian Academy of Sciences, Moscow, RUSSIAN FEDERATION

Geometric reasoning and geometric content
Dirk Schlimm, Philosophy, McGill University, Montreal, CANADA

Gödel's Second Incompleteness Theorem Is Predicate Dependent
Alexandr Bessonov, Logic and epistemology, Institute of Philosophy and Law, Novosibirsk, RUSSIAN FEDERATION

Chairs
DS

Dirk Schlimm

McGill University

Speakers
AB

Alexandr Bessonov

Institute of Philosophy and Law
BK

Besim Karakadilar

University of Helsinki
AR

Andrei Rodin

Russian Academy of Sciences



Friday August 7, 2015 11:00 - 13:00
Main Building, Room 6

Attendees (10)