Campus Event Calendar
Event Entry
New for: D1, D2
What and Who
Making mathematical proofs communicate: Some lessons from good teachers and from computer science
Prof. Dr. Uri Leron
Israel Institute of Technology
DFKI-Kolloquium
AG 1, AG 2
AG Audience
Note: We use this to send email in the morning.
Date, Time and Location
Wednesday, 25 March 98
14:00
-- Not specified --
43.1 - DFKI
Turing (1.01)
Saarbrücken
Abstract
Mathematical proofs are normally presented in a step-by-step,
"linear"fashion, proceeding unidirectionally from hypotheses to conclusion.
While this age-old and venerable method may be well-suited for securing the
validity of proofs, it is nonetheless unsuitable for communicating the
ideas behind the proof.
"linear"fashion, proceeding unidirectionally from hypotheses to conclusion.
While this age-old and venerable method may be well-suited for securing the
validity of proofs, it is nonetheless unsuitable for communicating the
ideas behind the proof.
In this talk some ideas will be dicussed, which combine methods used
intuitively by good lecturers and more conciously by contemporary computer
scientists. These ideas lead to an alternative formalism for presenting
proofs, which is intended to increase the comprehensibility of the proof
while retaining its rigor.
Contact
Agnes Back
302 5276
--email hidden
passcode not visible
logged in users only
Uwe Brahm, 04/12/2007 12:00 -- Created document.