Simple Proofs in Intuitionistic Logic
Rosalie Iemhoff presents an analysis of 'simple proofs' within the framework of intuitionistic logic, exploring the criteria and implications of proof complexity in formal mathematical systems.
University
Utrecht University
Utrecht University is a historic Dutch research university with a strong international reputation across natural sciences, humanities, and social sciences.
0university courses1recorded lecture1harchive runtime1faculty & speakers
Talks from Utrecht University
1Standalone lectures, seminars, and public talks.
Faculty & visiting speakers at Utrecht University
1Professors, researchers, and invited lecturers recorded at Utrecht University.
All recorded lectures from Utrecht University
1Browse, filter, and sort every lecture from Utrecht University.
Showing 1 of 1 lectures
27:12
Academic Lineage, Alumni Faculty & Institutional Web · Utrecht University
2 connectionsScholars who earned doctoral or undergraduate degrees at Utrecht University, faculty chairs, and interconnected curricula across the archive.
Faculty & Chairspeaker
Rosalie Iemhoff
Utrecht University · 1 lectures
Faculty & Lecturer · Utrecht University