Besides his regular teaching (see http://szudzik.com/teaching.html), Matthew Szudzik occasionally presents special lectures. The times and locations of these lectures are given below.
The computable universe hypothesis
- Venue: Association For Symbolic Logic 2010 North American Annual Meeting
- Time: 4:30pm, Thursday 18 March 2010
- Location: School Of Media And Public Affairs 305 at The George Washington University in Washington, D.C.
- Venue Link:
http://gwu.edu/~asl2010 - Presented Paper:
http://arxiv.org/abs/1003.5831
Why mathematics needs the humanities
- Venue: Carnegie Mellon University Science And Humanities Scholars Speaker Series
- Time: 5:00pm, Thursday 13 November 2008
- Location: Interdisciplinary House, 105 Margaret Morrison Apartments at Carnegie Mellon University in Pittsburgh, Pennsylvania
- Venue Link:
http://cmu.edu/shs/prog.html#speaker - Abstract:
http://szudzik.com/2008-11-13.txt
Can we define 1/0 = 13 ?
- Venue: Carnegie Mellon University Math Club
- Time: 6:00pm, Wednesday 6 February 2008
- Location: Porter Hall A18A at Carnegie Mellon University in Pittsburgh, Pennsylvania
- Abstract:
http://szudzik.com/2005-10-06.txt
The trouble with types
- Venue: NKS2007 Conference
- Time: 4:45pm, Saturday 14 July 2007
- Location: Angell Lecture Center B112 at the University Of Vermont in Burlington, Vermont
- Venue Link:
http://wolframscience.com/conference/2007
Cantor's absurd question: How many coordinates do you need to parameterize a surface?
- Venue: PROMYS Guest Lecture
- Time: 6:00pm, Thursday 27 July 2006
- Location: Stone Science Building B50 at Boston University in Boston, Massachusetts
- Venue Link:
http://promys.org
An elegant pairing function
- Venue: NKS2006 Conference
- Time: 1:15pm, Sunday 18 June 2006
- Location: Ballroom I at the Fairmont Hotel in Washington, D.C.
- Venue Link:
http://wolframscience.com/conference/2006 - Abstract:
http://szudzik.com/2006-06-18.txt - Slides:
http://szudzik.com/ElegantPairing.pdf
What is the NKS approach to mathematics?
- Venue: Indiana University Informatics Colloquium and opening keynote address for the 2005 Midwest NKS Conference
- Time: 4:00pm, Friday 28 October 2005
- Location: Lindley Hall 102 at Indiana University in Bloomington, Indiana
- Note: The presentation of this lecture contained an error in the graphic for the least upper bound principle. The correct graphic is available at http://szudzik.com/lub.gif.
- Venue Links:
http://informatics.indiana.edu/colloquia/default.asp?archive=true&id=624&st=&year=2005
http://cs.indiana.edu/~dgerman/2005midwestNKSconference - Abstract:
http://szudzik.com/2005-10-28.txt - Video:
http://cs.indiana.edu/~dgerman/2005midwestNKSconference/keynotes/matthew-szudzik.ram
The definability of functionals in Godel's theory T
- Venue: Carnegie Mellon University Mathematical Logic Seminar
- Time: 12:00pm, Thursday 20 October 2005
- Location: Old Student Center 201 at Carnegie Mellon University in Pittsburgh, Pennsylvania
- Venue Link:
http://www.math.cmu.edu/~eschimme/seminar/scheduleF05.html - Abstract:
http://szudzik.com/2005-10-20.txt
Can we define 1/0 = 13 ?
- Venue: Carnegie Mellon University Undergraduate Mathematics Colloquium
- Time: 1:30pm, Thursday 6 October 2005
- Location: Porter Hall 125C at Carnegie Mellon University in Pittsburgh, Pennsylvania
- Abstract:
http://szudzik.com/2005-10-06.txt
Who was Laszlo Kalmar and what were his functions?
- Venue: PROMYS Guest Lecture
- Time: 4:00pm, Friday 15 July 2005
- Location: Stone Science Building B50 at Boston University in Boston, Massachusetts
- Venue Link:
http://promys.org
Exploring recursively defined sequences
- Venue: PROMYS Guest Lecture
- Time: 6:00pm, Wednesday 21 July 2004
- Location: Stone Science Building B50 at Boston University in Boston, Massachusetts
- Venue Link:
http://promys.org
A standard pseudocode for describing the logical structure of (generalized) algorithms
- Venue: Carnegie Mellon University Mathematical Logic Seminar
- Time: 12:30pm, Wednesday 2 October 2002
- Location: Baker Hall 150 at Carnegie Mellon University in Pittsburgh, Pennsylvania
- Venue Link:
http://www.math.cmu.edu/~eschimme/seminar/scheduleF02.html - Abstract:
http://szudzik.com/2002-10-02.txt