| 8:30 |
registration |
| 10:00 |
opening; Prof Jiří Zlatuška (Dean of Faculty of Informatics, MU) |
| 10:30 |
Jiří Rosický "From First-order Logic to Accessible Categories" |
| 11:30 |
lunch break |
| 13:30 |
Albert Visser "The Second Incompleteness Theorem in General" |
| 14:30 |
coffee break |
| 14:45 |
Pavel Pudlák "The Second Incompleteness Theorem, Variations" |
| 15:45 |
coffee break |
| |
contributed talks |
| 16:15 |
Bohdan Hejna
"Common Gnoseological Meaning of Gödel and Caratheodory Theorems" |
16:45
|
Ashot Baghdasaryan and Hovhannes Bolibekyan
"On Neural Network Based Automated Theorem Prover For Minimal Logic" |
| 17:15 |
coffee break |
| 17:30 |
Peter Vojtáš
"From Vopěnka's Phenomenology to a Modeling Framework" |
| 18:00 |
Peter Zamarovský
"Alternative Mathematics, or Petr Vopěnka's Wandering to Alternativity and Back" |
| 9:00 |
morning coffee |
| 9:30 |
Matthias Baaz "Gödel logics - Enduring Consequences of a Short Paper" |
| 10:30 |
coffee break |
| 10:45 |
Curtis Franks "Gödel in 2020: Hindsight, Foresight, and Logical Blindness" |
| 11:45 |
coffee break |
| |
contributed talks |
| 12:00 |
Elio La Rosa
"Informal Provability and its Logics" |
| 12:30 |
Piotr Błaszczyk
"Modern Alternatives to Cantor's Theory of Infinity" |
| 13:00 |
lunch break |
| |
|
Petr Vopěnka's block |
| |
| 15:00 |
opening, Prof Pavol Zlatoš |
| 15:15 |
Lev Bukovský "From Topology to Set Theory" |
| 15:45 |
Alena Vencovská "Alternative Set Theory and new Infinitary Mathematics" |
| 16:15 |
coffee break |
| 16:30 |
chamber music by Trio Komorní dechové harmonie Brno |
| 16:45 |
Kateřina Trlifajová "An Encounter with Petr Vopěnka" |
| 17:15 |
Prof Jan Novotný on Prof Petr Vopěnka and Kurt Gödel Prize for him; |
|
presenting the prize to Vopěnka's son Martin Vopěnka by Prof Jan Novotný and Prof Pavol Zlatoš |
| 18:00 |
ceremonial dinner (at Brno Observatory; end - 20:00) |
