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
Thursday, August 6 • 14:30 - 16:30
A1.2 Mathematical Logic + C1.12 Philosophy of the Formal Sciences

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

6 August 02:30PM - 04:30PM

SPEAKERS AND TITLES

On Gödel numbering
Abraham Lim Ken Zhi, Institute of Philosophy of Mind and Cognition,
National Yang-Ming University, Taipei, TAIWAN

On the problem of preserving finite axiomatizability of a finite matrix
under term-equivalence
Aleksandra Samonek, Logic, Jagiellonian University, Krakow, POLAND

Do infinitely often equal trees add Cohen reals?
Yurii Khomskii, Kurt Gödel Research Center (KGRC), University of Vienna,
Vienna, AUSTRIA
Giorgio Laguzzi, University of Freiburg, Freiburg, GERMANY

Justifying Deductive Inference
Mathieu Beirlaen, Institute for Philosophy II, Ruhr University Bochum, Waregem, BELGIUM

Chairs
avatar for Yurii Khomskii

Yurii Khomskii

Postdoc, Hamburg University

Speakers
avatar for Aleksandra Samonek

Aleksandra Samonek

Jagiellonian University
AL

Abraham Lim Ken Zhi

National Yang-Ming University



Thursday August 6, 2015 14:30 - 16:30
Main Building, Room 16

Attendees (12)