Technion Computer Science Colloquium Time+Place : Tuesday 30/10/2012 14:30 room 337-8 Taub Bld. Speaker : Matthias Baaz Affiliation: INSTITUTE FOR DISCRETE MATHEMATICS AND GEOMETRY, VIENNA UNIVERSITY OF TECHNOLOGY Host : Johann Makowsky Title : TOWARDS A PROOF THEORY OF ANALOGICAL REASONING Abstract : In this lecture we compare three types of analogies based on generalizations and their instantiations: 1.Generalization w.r.t.invariant parts of proofs (e.g.,graphs of rule applications etc.) 2.Generalization w.r.t. an underlying meaning.(Here proofs and calculations are considered as trees of formal expressions. We analyze the well known calculation attributed to Euler demonstrating that the 5th Fermat number is compound.) 3.Generalization w.r.t. the premises of a proof. (This type of analogies is especially important for juridical reasoning.) Short Bio: Matthias Baaz studied mathematical logic, mathematics and astronomy at the University of Vienna. In 1992, he attained ``Habilitation'' with his thesis concerning the logical foundations of computer science. His scientific interests mainly concern proof theory, Goedel logics, and juridical logics. He is currently an associate professor and head of the research group for computational logic at the Institute of Discrete Mathematics and Geometry at the Vienna University of Technology. Refreshments served from 14:15 on, Lecture starts at 14:30 ---------------------------------------------------------- Visit our home page- <http://www.cs.technion.ac.il/~colloq> --------------------------------------------------------- Technion Math. Net (TECHMATH) Editor: Michael Cwikel <techm@math.technion.ac.il> Announcement from: Hadas Heier <heier@cs.technion.ac.il>