Event Categories: BSPS Choice Group Conjectures and Refutations Popper Seminar Sigma Club

« All Events

  • This event has passed.

David Corfield (Kent): “Homotopy Type Theory; a revolutionary language for philosophy of logic; mathematics; and physics?”

25 November 2013, 5:15 pm

Monday 25th November; 17:15pm
BSPS

Speaker: David Corfield (Kent)

Title: Homotopy Type Theory; a revolutionary language for philosophy of logic; mathematics; and physics?

+ Google Calendar+ iCal Export

Details

Date:
25 November 2013
Time:
5:15 pm
Event Category: