CLMPS 2015 has ended
Back To Schedule
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, view media, leave feedback and see who's attending!

7 August 05:00 PM – 7:00 PM

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


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


Marek Czarnecki

University of Warsaw

Marcin Mostowski

University of Warsaw


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 EEST
Main Building, Room 7 Fabianinkatu 33

Attendees (0)