Infinity and Intensionality Seminar
Previous
Time and place:
– ,
Georg Morgenstiernes hus, room 652 and on Zoom
Markus Pantsar (RWTH Aachen University) will give a talk titled "Recognising artificial mathematical intelligence"
Time and place:
– ,
Georg Morgenstiernes hus, Room 452
Bokai Yao (University of Notre Dame) will give a talk titled "Reflection with Absolute Generality"
Time and place:
– ,
Georg Morgenstiernes hus, room 652 and on Zoom
Sara Negri (University of Genoa) will give a talk titled:
"The development of Gentzen sequent calculus: Ketonen's discovery of invertible rule systems"
Time and place:
– ,
Georg Morgenstiernes hus, Room 652 and On Zoom
Ansten Klev (Czech Academy of Sciences) will give a talk titled "Aczel's V and the notion of set"