BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//132.216.98.100//NONSGML kigkonsult.se iCalcreator 2.20.4//
BEGIN:VEVENT
UID:20250910T111948EDT-8345KtdOXV@132.216.98.100
DTSTAMP:20250910T151948Z
DESCRIPTION:Montreal Inter-University Workshop on the History and Philosoph
 y of Mathematics\n\n'The Frog and Mouse Battle: Logic\, Politics and Justi
 ce'\n\nPatrick Girard (U Auckland)\n	Friday\, September 12\, 2025\n	3:30-5:0
 0 PM\n	Leacock Room 927\n\n \n\nAbstract: The 1920s saw the rise of modern 
 logic: Hilbert’s formalist programme\, Gödel’s theorems\, and Brouwer’s in
 tuitionism offered competing visions for the foundations of mathematics. A
 t the centre was a clash between Hilbert and Brouwer over the law of exclu
 ded middle—a dispute that turned political in the wake of WW I. It ended w
 ith Hilbert expelling Brouwer from the Mathematische Annalen\, prompting h
 igh-profile resignations\, including Einstein’s. While the episode had pol
 itical dimensions\, it also reveals a form of epistemic injustice that is 
 logical in nature. Drawing on my recent work in logic\, I’ll offer a fresh
  analysis of the logical injustice at the heart of the coup that ultimatel
 y ended Brouwer’s career.\n\n \n\n \n
DTSTART:20250912T193000Z
DTEND:20250912T210000Z
LOCATION:Room 927\, Leacock Building\, CA\, QC\, Montreal\, H3A 2T7\, 855 r
 ue Sherbrooke Ouest
SUMMARY:Patrick Girard (U Auckland): 'The Frog and Mouse Battle: Logic\, Po
 litics and Justice'
URL:/channels/channels/event/patrick-girard-u-auckland
 -frog-and-mouse-battle-logic-politics-and-justice-367473
END:VEVENT
END:VCALENDAR