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>