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


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

Attendees (5)