In addition to his teaching (http://szudzik.com/teaching.html), Matthew Szudzik occasionally presents special lectures. The times and locations of these lectures are given below.
Is Turing's thesis the consequence of a more general physical principle?
- Venue: Turing Centenary Conference
- Time: 3:20pm, Tuesday 19 June 2012
- Location: Arts School B at the University Of Cambridge in Cambridge, England
- Presented Paper:
http://doi.org/10.1007/978-3-642-30870-3_72 - Preprint:
http://arxiv.org/abs/1201.4504
Turing's thesis and physics
- Venue: Carnegie Mellon University In Qatar Computer Science Seminar Series
- Time: 12:00pm, Monday 23 April 2012
- Location: Room 1213 at Carnegie Mellon University in Doha, Qatar
- Abstract:
http://szudzik.com/2012-04-23.txt
One... two... three... Six?!??
- Venue: TEDx Education City
- Time: 4:00pm, Saturday 7 April 2012
- Location: Theatre at the Qatar National Convention Centre in Doha, Qatar
- Venue Link:
http://ted.com/tedx/events/3310 - Abstract:
http://szudzik.com/2012-04-07.txt - Video:
http://youtube.com/watch?v=tlbHctqQV28
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.
- Published Abstract:
http://www.math.ucla.edu/~asl/bsl/1701/1701-004.ps
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, Margaret Morrison Apartments 105 at Carnegie Mellon University in Pittsburgh, Pennsylvania
- 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://www.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 Link:
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 Gödel'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 László Kalmár 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://www.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://www.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