Please note that this newsitem has been archived, and may contain outdated information or links.
23 January 2004, Colloquium on Mathematical Logic, Sergei Artemov
Speaker: Sergei Artemov (New York)
Title: Reflexive Combinatory Logic
Date: Friday 23 January 2004
Time: 16:00-17:00
Location: <em>(Changed!)</em>
Opzomerkamer, Academiegebouw, Domplein 29, Utrecht
Opzomerkamer, Academiegebouw, Domplein 29, Utrecht
We use de Jongh Theorem in a combination with the usual methods of the logic of proofs to establish the completeness of the basic intuitionistic logic of proofs w.r.t. the Heyting arithmetic.
For more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
Please note that this newsitem has been archived, and may contain outdated information or links.