Breadcrumb

IAS Workshop on Computation and Provabilty

19 March 2010

Contact Person: Philip Welch

Organisers: Philip Welch (Maths), Leon Horsten (Philosophy)

Description
IAS Philosophy of Logic and Foundations of Mathematics Research Workshop Series

This is the third in a series of three one day workshops on themes related to Bristol's interest in mathematical philosophy, and which are sponsored by the IAS.

Main Speakers

  • Walter Dean (Warwick)
  • Leon Horsten (Bristol)
  • Peter Koellner (Harvard)
  • James Ladyman (Bristol)
  • Mark Sprevak (Cambridge)