Education:
Post-Doc, McGill University - 1998 (Mathematics)
Ph.D., Graduate School & University Center - 1996 (Mathematics, General)
Areas of Expertise:
Yanofsky is interested in theoretical computer science. His main interest is category theory and the many applications it has in computer science, mathematics and physics. He is also interested in quantum computing.
Books and Publications
"Kolmogorov Complexity of Categories." Accepted for the Abramsky Festschrift. (Books and Publications: Peer Reviewed Article) 2013
The Outer Limits of Reason: What Science, Mathematics and Logic Cannot Tell Us. MIT Press. 350 pages. Expected August. (Books and Publications: Forthcoming Publications) 2013
"Towards a Definition of an Algorithm." Journal of Logic and Computation. (Books and Publications: Peer Reviewed Article) 2010
Submitted article. Galois Theory of Algorithms. (Books and Publications: Peer Reviewed Article) 2010
"An Introduction to Quantum Computing." Logic at the Crossroads: An Interdisciplinary View. Eds. Amitabha Gupta, Rohit Parikh and Johan van Benthem. (Books and Publications: Chapter) 2008
Yanofsky, Noson and Adam Brandenburger. "A Classification of Hidden-Variable Properties." Journal of Physics A: Mathematical and Theoretical. (Books and Publications: Peer Reviewed Article) 2008
Yanofsky, Noson and Joachim Lambek. "A Computational Approach to Biblical Hebrew Conjugation." Computational Algebraic Approaches to Natural Languages. Eds. C. Casadio and J. Lambek. Milan: Polimetrica, Monza. (Books and Publications: Chapter) 2008
Yanofsky, Noson and M.A. Mannucci. Quantum Computing for Computer Scientists. Cambridge University Press. (Books and Publications: Book) 2008
"A Universal Approach to Self-referential Paradoxes, Incompleteness and Fixed Points." The Bulletin of Symbolic Logic. (Books and Publications: Peer Reviewed Article) 2004
"Coherence, Homotopy and 2-Theories." K-Theory 23: 203-35. (Books and Publications: Peer Reviewed Article) 2001
"Obstructions to Coherence: Noncoherent Associativity." The Journal of Pure & Applied Algebra 147.2: 175-213. (Books and Publications: Peer Reviewed Article) 2000
"The Syntax of Coherence." Cahiers de Topologie et Geométrie Différentielle Catégoriques XLI.4: 255-304. (Books and Publications: Peer Reviewed Article) 2000
Awards, Honors and Fellowships
IARPA contract, for "Quantum Kan extensions and Applications." (Grants and Fellowships) 2011
Conferences, Seminars and Symposiums
"An Invitation to Category Theory." The Mathematics Club and the Computer Science Society, Brooklyn College. (Conferences, Seminars and Symposiums: Invited Talk) 2013
"An Invitation to Quantum Computing." Computer Science Society, Brooklyn College. (Conferences, Seminars and Symposiums: Invited Talk) 2013
"The Legacy of Epimenides: The Modern Consequences of a 2,600-year-old Paradox." Mathematics Club, Brooklyn College. (Conferences, Seminars and Symposiums: Invited Talk) 2013
"The Modern Consequences of a 2,500-year-old Paradox." Institute for Retirees in Pursuit of Education, Brooklyn College. (Conferences, Seminars and Symposiums: Invited Talk) 2013
"Galois Theory of Algorithms." Octoberfest 2012. Category Theory. Concordia, Montreal. (Conferences, Seminars and Symposiums: Contributed Talk) 2012
"The Outer Limits of Reason." Institute for Retirees in Pursuit of Education, Brooklyn College. (Conferences, Seminars and Symposiums: Conference Presentation) 2012
Yanofsky, Noson S. and Ralph Wojtowicz. "Quantum Kan Extensions and Applications." Intelligence Advanced Research Projects Activity. Quantum Computer Science PI Meeting and Review. (Conferences, Seminars and Symposiums: Invited Talk) 2012
"Bell's Theorem." Mathematics Club, Brooklyn College.
(Conferences, Seminars and Symposiums: Invited Talk) 2011
"Galois Theory of Algorithms." Computing Laboratory, Departmental Seminar. Oxford University.
(Conferences, Seminars and Symposiums: Invited Talk) 2011
"Realism and Non-Realism in Particle Physics." Seminar in Logic and Games. CUNY Graduate Center. New York. (Conferences, Seminars and Symposiums: Invited Talk) 2011
"Scientific Limits of Reason." Mathematics Colloquium. LaGuardia Community College.
www.youtube.com/watch?v=x0xTFmGZptY. (Conferences, Seminars and Symposiums: Invited Talk) 2011
"Simplicial Sets and No-Go Theorems." Computing Laboratory, Oxford University.
(Conferences, Seminars and Symposiums: Invited Talk) 2011
"The Shape of an Experiment." Experimental Mathematics Seminar. Rutgers University. www.youtube.com/watch?v=gH-NGyR7110. (Conferences, Seminars and Symposiums: Invited Talk) 2011
"The Shape of an Experiment." Séminaire Catégories et Physique, Université Paris-Diderot. (Conferences, Seminars and Symposiums: Invited Talk) 2011
"Undecidable, Unsolvable and Independence." New York Number Theory Seminar. (Conferences, Seminars and Symposiums: Invited Talk) 2011
"Algorithms as Structured Objects." Stanford Mathematical Logic Seminar. (Conferences, Seminars and Symposiums: Invited Talk) 2010
"Computation and Operads." Special session in "Logic & Foundations of Physics." Association of Symbolic Logic Meeting. Washington, D.C. (Conferences, Seminars and Symposiums: Invited Talk) 2010
"Galois Theory of Algorithms." Kolchin Seminar in Differential Algebra. CUNY Graduate Center. New York. (Conferences, Seminars and Symposiums: Contributed Talk) 2010
"On the Utility of Category Theory." Category Theory and Philosophy of Mathematics Today. Paris. (Conferences, Seminars and Symposiums: Invited Talk) 2010
"The Outer Limits of Reason." Mathematics Club, Brooklyn College.
(Conferences, Seminars and Symposiums: Conference Presentation) 2010
"A Classification of Hidden-Variable Properties" Quantum Computation and the Logics They Imply W
Workshop. Bloomington, Ind. (Conferences, Seminars and Symposiums: Invited Talk) 2009
