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 • 17:00 - 19:00
Computational Finitism and Concrete Foundations of Mathematics

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

7 August 05:00 PM – 7:00 PM

Organized by Marek Czarnecki, Warsaw University and Marcin Mostowski, Warsaw University

SPEAKERS AND TITLES

Concrete mathematics -- finitistic approach to foundations of mathematics
Marek Czarnecki, Warsaw University and Marcin Mostowski, Warsaw University, Warszawa and Jagiellonian University
To be presented by Marcin Mostowski

Concrete model theory. Model-theoretic constructions without actual infinity
Marek Czarnecki, Warsaw University
To be presented by Michał Tomasz Godziszewski

An infinite liar in a potentially infinite world
Michał Tomasz Godziszewski, Warsaw University

Learnability thesis, FM--representability and low models of WKL_0
Marek Czarnecki Michał Tomasz Godziszewski, Dariusz Kalociński, Warsaw University

Chairs
MC

Marek Czarnecki

University of Warsaw
MM

Marcin Mostowski

University of Warsaw

Speakers
MT

Michal Tomasz Godziszewski

University of Warsaw
avatar for Dariusz Kalociński

Dariusz Kalociński

PhD student, Institute of Philosophy, University of Warsaw



Friday August 7, 2015 17:00 - 19:00
Main Building, Room 7 Fabianinkatu 33

Attendees (5)