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.
Faculty & Researcher Profile
Rosalie Iemhoff
Professor of Logic
Rosalie Iemhoff is a Professor of Logic at Utrecht University, known for her research on proof theory and intuitionistic logic.
1standalone talk1total lecture1hrecorded
Intellectual Web & Academic Lineage · Rosalie Iemhoff
1 connectionVerified alma mater degrees, faculty appointments, co-authors, doctoral lineage, and intellectual peers across the archive.
Standalone talks by Rosalie Iemhoff
1Self-contained public lectures, keynote addresses, and research seminars.