Related papers: Tennenbaum at Penn and Rochester
The 15th Conference on Theoretical Aspects of Rationality and Knowledge (TARK) took place in Carnegie Mellon University, Pittsburgh, USA from June 4 to 6, 2015. The mission of the TARK conferences is to bring together researchers from a…
This article presents a survey of computability logic: its philosophy and motivations, main concepts and most significant results obtained so far. A continuously updated online version of this article is maintained at…
This volume contains the proceedings of the Fourth International Workshop on Strategic Reasoning (SR 2016), held in New York City (USA), July 10, 2016. The workshop consisted of 2 keynote talks and 9 contributed presentations on themes of…
This symposium has revealed considerable new progress on nuclei of galaxies over the last three years. In this talk, I will try to point out the advances since the last meeting on exactly the same subject held three years ago at Ringberg…
The article contains an outline of a possible new direction for Computability Logic (see www.csc.villanova.edu/~japaridz/CL/ ), focused on computability without infinite memory or other impossible-to-possess computational resources. The new…
This volume constitutes the pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), held on 6-8th September 2016 in Edinburgh, Scotland UK, and co-located with the 18th…
This paper is a greatly expanded version of a talk I gave in April 2009 at KunenFest. It describes Ken's work in algebra, particularly using automated deduction tools.
We present a conceptually clear introduction to quantum theory, deriving the theory from scratch from the point of view of quantum information. Different subsets of these lectures were taught to a wide variety of audiences, including…
This volume contains the proceedings of the 13th International Conference on Quantum Physics and Logic (QPL 2016), which was held June 6-10, 2016 at the University of Strathclyde. QPL is a conference that brings together researchers working…
The idea of the Lehmann Symposia as platforms to encourage a revival of interest in fundamental questions in theoretical statistics, while keeping in focus issues that arise in contemporary interdisciplinary cutting-edge scientific…
Lecture given at the International Meeting ``Boltzmann's Legacy - 150 Years after his Birth'', organized by the Accademia Nazionale dei Lincei, 25 - 28 May 1994, in Rome, to be published in: ``Atti dell"Accademia Nazionale dei Lincei'',…
Contributed paper to the Conference "Francesco's Legacy: Star Formation in Space and Time", in memory of Francesco Palla (1954-2016), held in Florence, June 5-9, 2017
This is the text of my talk at CMU on Feb. 4, 2010 were I gave the second public presentation of the Univalence Axiom (called "equivalence axiom" in the text). The first presentation of the axiom was in a lecture at LMU Munich in November…
Summary of Quantum Magnetism Conference, Institute for Theoretical Physics, University of California, Santa Barbara, California, August 16-20, 1999.
This volume contains the proceedings of the 17th International Conference on Quantum Physics and Logic (QPL 2020), which was held June 2-6, 2020. Quantum Physics and Logic is an annual conference that brings together researchers working on…
The blog has several entries on group theory interacting with computability and wider logic, several open questions, and an entry on undecidability in physics.
This is an extension and background to a talk I gave on 9 October 2013 to the Brown Graduate Student Seminar, called `A friendly intro to sieves with a look towards recent progress on the twin primes conjecture.' During the talk, I mention…
This paper is around the topics I discussed in the lecture I gave at the Isaac Newton Institute in Cambridge, July 2009, in the Introductory Workshop. This paper can be read as a companion to my paper [Sa\"i di], where detailed proofs can…
Short abstracts by computational linguistics researchers at the University of Pennsylvania describing ongoing individual and joint projects.
This monograph is derived from a series of six lectures I gave at the Centre de Recherches Mathematiques in Montreal, in March and June 2000, while titulary of the Aisenstadt Chair.