Breadcrumb

IAS Workshop on Computation and Proof

11 January 2010

Contact Person: Philip Welch

Organisers: Leon Horsten (Phil.) Philip Welch (Maths)

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

This is the third in a series of IAS sponsored Workshops on the interface of Philosophy and Mathematics.

Main Speakers

  • Walter Dean (Warwick)
  • Peter Koellner (Harvard)
  • Mark Sprevak (Cambridge)