Simple Proofs in Intuitionistic Logic

Name: Simple Proofs in Intuitionistic Logic
Uploaded: 2014-04-25T04:10:44.000Z
Duration: 27 min 12 s
Channel: Rosalie Iemhoff
Description: Rosalie Iemhoff presents an analysis of 'simple proofs' within the framework of intuitionistic logic, exploring the criteria and implications of proof complexity…

Rosalie Iemhoff

Utrecht University·Rosalie Iemhoff

27:12

Notebook

Type below to lock the video timestamp, or press S to capture a slide.

Simple Proofs in Intuitionistic Logic

Rosalie Iemhoff Utrecht University

27:12·2014·graduate·Conference Talk

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.

Simplicity: Ideals of Practice in Mathematics & the Arts Graduate Center, City University of New York, April 3-5, 2013

Theory & Algos Mathematics Formal Methods & Type Theory Formal Verification & Logic Intuitionistic Logic Formal Systems

About the lecturer

Speaker directory →

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.

1 lecture in archiveView profile

Discussion

Share a seminar note, question, or timestamped reference (e.g. 14:20)...Sign in

Related lectures

5