Logic and Philosophy Talks at CMU



 
Pure and Applied Logic Colloquium

Thursday
27 January 2000

4:30 PM, 5409 Wean Hall
(refreshments at 4:15)

"A non-standard model of arithmetic"
Carsten Butz
McGill University
Abstract
Pure and Applied Logic Colloquium

Thursday
17 February 2000

4:30 PM, 5409 Wean Hall
(refreshments at 4:15)

"An introduction to developing theories of types and computation using realizability"
Lars Birkedal
Carnegie Mellon University
Abstract
Pure and Applied Logic Colloquium

Thursday
24 February 2000

4:30 PM, 5409 Wean Hall
(refreshments at 4:15)

"The dialectic logic of mathematics"
F. W. Lawvere
SUNY Buffalo
Abstract
Pure and Applied Logic Colloquium

Wednesday
1 March 2000

4:30 PM, 231B Baker Hall

"Computation on topological algebras"
Jens Blanck
Swansea University, UK
Abstract
Pure and Applied Logic Colloquium

Thursday
23 March 2000

4:30 PM, 5409 Wean Hall
(refreshments at 4:15)

"Varieties of tameness phenomena in expansions of the real field"
Chris Miller
Ohio State University
Abstract
Pure and Applied Logic Colloquium

Thursday
6 April 2000

4:30 PM, 5409 Wean Hall
(refreshments at 4:15)

"Finite or constructive foundations of mathematics"
Jan Mycielski
University of Colorado
Abstract
Pure and Applied Logic Colloquium

PLEASE NOTE SPECIAL WEEKDAY

Tuesday
25 April 2000

4:30 PM, 5409 Wean Hall
(refreshments at 4:15)

"A Judgmental Reconstruction of Modal Logics"
Frank Pfenning
Carnegie Mellon University
Abstract
Pure and Applied Logic Colloquium

PLEASE NOTE SPECIAL WEEKDAY

Tuesday
2 May 2000

4:30 PM, Room TBA
(refreshments at 4:15)

"Abstract versus Concrete Models of Computation on Partial Metric Algebras"
Jeffery Zucker
McMaster University
Abstract

Philosophy Department / Carnegie Mellon University
(comments to: awodey@cmu.edu)