Workshop on History of Logics, Types and Rewriting

Heriot-Watt University, Edinburgh

Tuesday 5 December 2000

Room 1.27

http://www.cedar-forest.org/forest/events/history/

PROGRAM

http://www.cedar-forest.org/forest/events/history/program.html

Tuesday, 5 December 2000

Room 1.27

Session I: Types and Rewriting Chair: Jacques Fleuriot

13:00 - 14.00 Birth of Lambda calculus and combinatory logic
Roger Hindley

14.00 - 15.00 History of Types in Logic and Mathematics
Fairouz Kamareddine

15.00 - 15.30 BREAK

Session II: Logic Chair: Joe Wells

15:30 - 16.30 Mathematics and symbolic logics: an uneasy relationship of the 20th century
Ivor Grattan-Guinness

16.30 - 17.30 Quine's New Foundations NF
Carsten Butz

13:00 - 14.00	Birth of Lambda calculus and combinatory logic Roger Hindley
14.00 - 15.00	History of Types in Logic and Mathematics Fairouz Kamareddine
15.00 - 15.30	BREAK

15:30 - 16.30	Mathematics and symbolic logics: an uneasy relationship of the 20th century Ivor Grattan-Guinness
16.30 - 17.30	Quine's New Foundations NF Carsten Butz