Many videoed talks can be found here and here .
Many papers can be found here.

---



• Videoed talks.
  • Diagonalization, Fixed Points, and Self-reference. Celebrating 90 Years of Gödel's Incompleteness Theorems Conference (July 2021). Here
  • Self-Referential Paradoxes. York University. (February 2021). Here
  • Quantum Computers: the Buzz and the Hype. Touro College, Brooklyn. (December 2019). Here
  • How Turing Broke The Enigma. Brooklyn College Computer Science Student Club (September 2019). Here
  • Algorithmic Gems. Lakewood Software Developers Meetup (June 2019). Here
  • Quantum Algorithms. The Graduate Center, Women in Quantum Meetup. (March 2019). Here
  • Algorithmic Information Content of Categories. Samuel Eilenberg Centenary Conference in Warsaw Poland (July 2013). Here
  • Scientific Limits Of Reason. LaGuardia Community College, Mathematics Colloquium (April 2011). Part 1 Part 2 Part 3 Part 4 Part 5
  • The Shape of an Experiment. Rutgers University, Experimental Mathematics Seminar (March 2011). Part 1 Part 2
  
  
  
  
  
  
• True But Unprovable.
  • Original article.
  • A version of this article also appeared in The Institute of Art and Ideas as "Most truths cannot be expressed in language" on December 14, 2022.
  
  
• The Mind and the Limitations of Physics
  • Preprint.
  
  
• Searching for some order in our chaotic world.
  • Original paper.
  • A shortened version of this essay also appeared in Nautilus as "Kolmogorov Complexity and Our Search for Meaning" on August 2, 2018.
  • It is also an essay in The Best Writing on Mathematics 2019, edited by Mircea Pitici.
  
  
  
• The Preception of Order
  • Preprint.
  
  
  
• On The Mysterious Aspects of Quantum Mechanics
  • Preprint.
  
  
  
• Finding Structure in Science and Mathematics
  • Original Paper
  • A winner of an FQXi essay contest. See here and Wandering Towards a Goal: How Can Mindless Mathematical Laws Give Rise to Aims and Intention?.
  • A variation of this essay also appeared in Nautilus on June 22, 2017.
  
  
  
• Paradoxes, Contradictions, and the Limits of Science
  • Original paper
  • American Scientist, Volume 104, Number 3, May-June 2016.
  • Also an essay in The Best Writing on Mathematics 2017, edited by Mircea Pitici.
  
  
  
• Computability and Complexity of Categorical Structures
  • Preprint.
  
  
  
• Why Mathematics Works So Well
  • Original paper
  • A winner in the FQXi 2015 essay contest Trick or Truth: the Mysterious Connection Between Physics and Mathematics.
  
  
  
• The Role of Symmetry in Mathematics with Mark Zelcer, Foundations of Science. 2016.
  
  
• Resolving Paradoxes, Philosophy Now, February 2015
  
  
• Mathematics via Symmetry, with Mark Zelcer
  • Preprint.
  
  
  
• Kolmogorov Complexity of Categories in Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky , edited by Bob Coecke, Luke Ong, Prakash Panangaden. Springer LNCS 7860, 2013.
  
  
• Galois Theory of Algorithms in Rohit Parikh on Logic, Language and Society, edited by Can Baskent, Lawrence S. Moss, and Ramaswamy Ramanujam, Springer, 2017.
  
  
• Towards a Definition of an Algorithm Journal of Logic and Computation, 2010.
  
  
• An Introduction to Quantum Computing In Logic at the Crossroads: An Interdisciplinary View Edited by Amitabha Gupta, Rohit Parikh and Johan van Benthem, July, 2007.
  
  
• A Classification of Hidden-Variable Properties With Adam Brandenburger. Journal of Physics A: Mathematical and Theoretical 41 (2008) 425302, September, 2008.
  
  
• A Computational Approach to Biblical Hebrew Conjugation (with Joachim Lambek). in Computational Algebraic Approaches to Natural Language ,
  edited by C. Casadio and J. Lambek. Polimetrica, Monza (Milan), Feburary, 2005. PS | PDF | DVI
  
  
• A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points The Bulletin of Symbolic Logic. (September 2004).
  
  
• Coherence, Homotopy and 2-Theories K-Theory 23: Pgs 203 - 235. (2001).
  
  
• The Syntax of Coherence Cahiers de Topo. Geom. Diff. Cat. Vol XLI-4 Pgs 255 - 304. (2000).
  
  
• Algebraic Theories in Quantum Field Theories and Quantum Algebra: A Proposal An NSF proposal with a lot of good ideas. PS | PDF | DVI
  
  
• Obstructions to Coherence: Noncoherent Associativity The Journal of Pure & Applied Algebra. 147 no. 2, Pgs 175 - 213. (2000).

Main Home Page