Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Proof and certainty in mathematics
Speaker:Damian Niwinski
coming from:Warsaw
Speakers Bio:
Event Type:Talk
Visibility:D2
We use this to send out email in the morning.
Level:AG Audience
Language:English
Date, Time and Location
Date:Thursday, 22 January 98
Time:11:15
Duration:60 Minutes
Location:Saarbr├╝cken
Building:46.1 - MPII
Room:24
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.

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
Name(s):
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):