Oesterreichisches Forschungsinstitut fuer Artificial Intelligence (OeFAI)
Schottengasse 3, A-1010 Wien
Tel.+43-1-53532810,5336112
-------------------------------------------------------------------------
VORTRAG
*******
Prof.Dr.Ranan B. BANERJI
Saint Joseph's University
Philadelphia, PA
USA
A Simplified Proof of a Complicated Fact
----------------------------------------
The theorem was developed by Ramsey in connection with some decidable
classes of theories, but can also be considered as combinatorial
fun-and-games. The simplest form: 'If six people come into a room,
either there will be three people each of whom have met the other two
before or three people none of whom have met either of the above two
before'. The idea can be transferred to graphs, solids and other
dimensions.
Zeit: Mittwoch, 26.Juni 1996, 18:30 Uhr pktl.
Ort: OeFAI, Schottengasse 3, 1010 Wien 1.