Relatórios
27/07/07 - 29/07/07 CSHPM/BSHM 4th joint meeting, Concordia University, Montreal: 27/07/07 MW microphone test / MW microphone test #2 / Josipa G Petrunic: In the wake of empiricism; Bristish empirical traditions in mathematical thought (1860-1880) & Felix Klein's erlanger program as a local (contrastive) response to them; contrastive case studies 19th Century mathematics styles / Dirk Schlim: The creative role of axiomatics in the discovery (and development) of lattice theory; some connections with challenges to the classical model of science / Elaine Landry: How to be a structuralist all the way down; algebraic structuralism as a response to some recent criticisms of category-theoretic structuralism (Hellman & Shapiro) / Jean-Pierre Marquis: The early history of categorical logic in Montreal (incomplete) / Bart Van Kerkove: The historicity of mathematics: The case of computer proof / Makmiller Pedroso: Realism & mathematical truth / Jason Douma: Philosophical intelligences: A potential model for the teac...