|   |
:
Home ::
Teaching ::
Research ::
Publications ::
Talks ::
CV :
|
| |
| 2008 |
-
Invited talk at session on "Historical Ideals of Rigor in Mathematics".
Forthcoming:
27-30 December 2008. Winter meeting of the Association of Symbolic Logic (with APA),
Philadelphia, PA.
-
Invited talk at the History and Philosophy of Mathematics Session.
Forthcoming:
6-8 December 2008. Canadian Mathematical Society, Winter 2008 Meeting,
Carleton University, Ottawa, ON.
- Modeling ancient and modern
arithmetic practices: Addition and multiplication with Arabic and
Roman numerals (with Hansjörg Neth) Poster presentation.
26 July 2008.
30th Annual Meeting of the
Cognitive Science Society,
Washington, DC.
- Moritz Pasch: A nineteenth century logical
empiricist
19 June 2008.
Seventh Congress of the
International Society for the History
of Philosophy of Science (HOPOS),
Vancouver, BC.
- An empiricist approach to modern mathematics:
Moritz Pasch on projective geometry
17 May 2008.
Is Mathematics Special?
(PhiMSAMP-3),
Vienna, Austria.
- Moritz Pasch: A nineteenth century logical empiricist
28 March 2008. Annual meeting of the Association of Symbolic Logic,
Irvine, CA.
|
| 2007 |
- Two ways of analogy: Extending the study of
analogies to mathematical domains
19 October 2007. PhiMSAMP-2 Workshop,
Utrecht, The Netherlands.
- On the creative role of axiomatics in the discovery of lattices
27 July 2007.
Meeting of the Canadian Society for History and Philosophy of
Mathematics (CSHPM) and the British Society for the History of
Mathematics (BSHM),
Concordia University, Montreal, QC.
- From domains of being to systems of axioms, and
vice versa: On the role of axiomatics in the discovery of lattices
27 March 2007. Perspectives on Mathematical Practices,
Brussels, Belgium.
- From domains of being to systems of axioms, and
vice versa
12 January 2007. The Classical Model of Science,
Amsterdam, The Netherlands.
|
| 2006 |
- On the Importance of Asking the Right Research
Questions: Could Jordan Have Proved the
Jordan-Hölder Theorem?
11 December 2006. Canadian Mathematical Society, Winter 2006 Meeting, History of Mathematics Session,
Toronto, ON.
- On the Importance of Asking the Right Research
Questions: Could Jordan Have Proved the
Jordan-Hölder Theorem?
14 September 2006. GAP.6 Workshop "Towards a New Epistemology of Mathematics",
Berlin, Germany.
- Clark L. Hull's Methodology of Scientific Discovery:
Psychology, Logical Positivism, Practice, Proofs, and
Refutations
18 June 2006.
Sixth Congress of the
International Society for the History
of Philosophy of Science (HOPOS),
Paris, France.
- From "Psychic Machines" to Neural Networks:
Learning from Models and Computer Simulations in Psychology
13 June 2006.
Models and Simulations,
Paris, France.
- On the Importance of Asking the Right Research
Questions: Could Jordan Have Proved the
Jordan-Hölder Theorem?
29 May 2006.
Meeting of the Canadian Society for History and Philosophy of
Mathematics (CSHPM),
York University, Toronto, ON.
|
| 2005 |
-
Axiomatics and Discovery
17 December 2005.
Recherches
Québecoises en Logique, Université
du Québec au Montréal, Montreal, QC.
-
On some Connections between Philosophy of Mathematics
and Cognitive Science
17 November 2005.
Guest lecture in Professor Tom Shultz's course PSYC 532 (740):
Cognitive Science,
McGill University, Montreal, QC.
-
Towards a More Comprehensive Understanding of Analogies
27 August 2005.
Philosophical Perspectives on Scientific Understanding,
Amsterdam, The Netherlands.
|
| 2004 |
-
Axiomatics and Discovery
25 June 2004.
Fifth Congress of the
International Society for the History
of Philosophy of Science (HOPOS),
San Francisco, CA.
-
Theoretical Aspects of Theory Development
1 June 2004.
Meeting of the Canadian Society for the History and Philosophy of
Science (CSHPS,
program), Winnipeg, MB.
-
Analogies in Mathematical Domains
31 May 2004.
Meeting of the
Canadian Philosophical Association (CPA),
Winnipeg, MB.
-
Commentary to: Elaine Landry, "Category theory as framework for an
in re interpretation of mathematical structuralism"
31 May 2004.
Meeting of the
Canadian Philosophical Association (CPA),
Winnipeg, MB.
|
| 2003 |
-
Does Abstract Equal Good?
November 23, 2003.
Fourth Annual
Midwest Philosophy of Mathematics Workshop, University of Notre
Dame, South Bend, IN.
-
Aspects of Theory Construction: Clark Hull's Philosophy of
Science (with Uljana Feest)
May 29, 2003. Meeting of the
Canadian
Society for History and Philosophy of Science (CSHPS), Halifax,
NS.
Paper was selected runner-up to the Hadden Prize for best student paper.
-
Commentary to: James Tabery, "Activities and Interactions in
the Concept of a Mechanism"
March 15, 2003.
Fifth Annual Pittsburgh Graduate Philosophy
Conference, University of Pittsburgh and Carnegie Mellon
University, Pittsburgh, PA.
-
The Axiomatic Method in the Light of 20th Century
Philosophy
February 17, 2003.
Foundations of
the Formal Sciences IV, Bonn, Germany.
|
| 2002 |
-
The Axiomatic Method as Engine for Driving Discovery in Mathematics
November 13, 2002.
Thesis Prospectus defense.
Carnegie Mellon University, Pittsburgh, PA.
|
| 2001 |
-
Richard Dedekind: Von der genetischen zur axiomatischen Methode
June 18, 2001.
Philosophische Fakultät, Universität Konstanz, Germany.
|
| 2000 |
|
| 1999 |
- Richard Dedekind: Axiomatische Grundlagen der Mathematik
December 21, 1999.
Mittagsseminar der AG 1 und 14.
Fachbereich Mathematik, TU Darmstadt, Germany.
- Richard Dedekind: Axiomatic Foundations of Mathematics
November 22, 1999.
Master's Thesis defense.
Carnegie Mellon University, Pittsburgh, PA.
- Dedekind's Real Numbers
March 6, 1999.
Rocky Mountain Student Philosophy Conference.
University of Colorado, Boulder, CO.
Text:
HTML,
Postscript
|
| 1998 |
- Intuitionism - the Philosophy of L.E.J. Brouwer
October 3, 1998.
1998 Midwest Conference on the History of Mathematics.
Iowa State University, Ames, IA.
- The Philosophy of L.E.J. Brouwer
April 21, 1998.
PRL Seminar.
Cornell University, Ithaca, NY.
- Minds, Machines, and Turing
January 24, 1998.
Graduate Student Philosophy Conference '98.
Emory University, Atlanta, GA.
|
| 1997 |
- The Philosophy of L.E.J. Brouwer
December 11, 1997.
Pure and Applied Logic Colloquium.
Carnegie Mellon University, Pittsburgh, PA.
- Intuitionismus und Informatik
January 31, 1997.
AG Domains.
Fachbereich Mathematik, TH Darmstadt.
- Intuitionismus und Informatik
December 16, 1997.
AIDA Forum.
Institut für Intellektik, TH Darmstadt.
|
| 1996 |
- Positionen zu den Grundlagen der Mathematik
December 9, 1996.
Autonomes StudentInnen Seminar `No Silver Bullet'.
- Logic Programming
June 11, 1996.
Autonomes StudentInnen Seminar `No Silver Bullet'.
|
| 1995 |
- Russell's Typentheorie
Fall 1995.
Informatik Seminar `Geschichte der Logik'.
|
| 1994 |
- Die lokale Struktur von Fraktalen
Spring 1994.
Informatik Seminar `Fraktale'.
|
| 1993 |
- GPS - Der General Problem Solver
Fall 1993.
Informatik Seminar `Automatisches Planen'.
|
| Other conferences attended |
- Third Annual Midwest Philosophy of Mathematics Workshop
University of Notre
Dame. November 9-10, 2002 (Travel grant from University of
Notre Dame)
- The 32nd Carnegie Symposium on Cognition
Carnegie Mellon
University. June 7-9, 2002
- Second Annual Midwest Philosophy of Mathematics Workshop
University of Notre
Dame. November 10-11, 2001
- Logicism and the Paradoxes: A Reappraisal
University of Notre
Dame. March 29-31, 2001 (Stipend from University of Notre Dame)
- 2000 ASL Annual Meeting
University of Illinois at
Urbana-Champaign. June 3-7, 2000 (ASL Travel grant)
- Modern Mathematical Thought II: Historical and Philosophical
Approaches
University of Pittsburgh and Carnegie Mellon
University. May 1-4, 1998
|
| |
| :
Home ::
Teaching ::
Research ::
Publications ::
Talks ::
CV :
|
© 7/28/08 |