Campus Event Calendar
Event Entry
What and Who
Proof and certainty in mathematics
Damian Niwinski
Warsaw
Talk
AG 2
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Thursday, 22 January 98
11:15
60 Minutes
46.1 - MPII
24
Saarbrücken
Abstract
It will be a (not very formal) overwiev of the concepts of interactive, and zero--knowledge proofs, in context of classical ideas of
a mathematical proof as conceived by Hilbert and Brouwer.
a mathematical proof as conceived by Hilbert and Brouwer.
Note: a previous version of this lecture was delivered in December 1997 in Warsaw, in course of my habilitation procedure.
(The presentation lasted 20 min.)
Damian Niwinski
Contact
--email hidden
passcode not visible
logged in users only