相关论文: Tennenbaum at Penn and Rochester

These notes are based on a lecture course by L. Chekhov held at the University of Manchester in May 2006 and February-March 2007. They are divulgative in character, and instead of containing rigorous mathematical proofs, they illustrate…

This file summarizes the plenary talk on laboratory experiments on logic at the TARK 2013 - 14th Conference on Theoretical Aspects of Rationality and Knowledge.

This volume contains the papers presented at Arg-LPNMR 2016: First International Workshop on Argumentation in Logic Programming and Nonmonotonic Reasoning held on July 8-10, 2016 in New York City, NY.

Artificial Intelligence agents are required to learn from their surroundings and to reason about the knowledge that has been learned in order to make decisions. While state-of-the-art learning from data typically uses sub-symbolic…

This article contains reminiscences of the collaborative work that Richard Arnowitt and I did together which stretched over many years and encompasses several areas of particle theory. The article is an extended version of my talk at the…

Translation of 'Die Logik Nicht Gleichzeitig Entscheidbarer Aussagen' by Ernst Specker, Dialectica, vol. 14, 239 - 246 (1960).

Proceedings contribution to Symposium in Memory of Prof. E. Anastassakis, Publ. Center of Technical University of Athens (2002). (contains no abstract).

The workshop series intends to cover research that investigates the computational aspects of classical logic and mathematics. Its focus is on unwinding the computational content of logical principles and proof in mathematics based on these…

This letter introduces a new, substantially simplified version of the branching recurrence operation of computability logic (see http://www.cis.upenn.edu/~giorgi/cl.html), and proves its equivalence to the old, "canonical" version.

This is the written version of the opening talk at the symposium "Expectations of a Final Theory," at Trinity College, Cambridge, on September 2, 2005. It is to be published in Universe or Multiverse?, ed. B. Carr (Cambridge University…

This volume contains the papers presented at WLPE'06: the 16th Workshop on Logic-based Methods in Programming Environments held on August 16, 2006 in the Seattle Sheraton Hotel and Towers, Seattle, Washington (USA). It was organised as a…

The highlights of the conference: The Legacy of Bruno Pontecorvo: the Scientist and the Man, held in Roma, Universit\`a La Sapienza, 11-12 September, 2013, are summarised and illustrated.

Contribution to the volume "In Memory of Steven Weinberg" to appear in Nuclear Physics B.

Talk presented at the conference ``Historical and Philosophical Reflections on the Foundations of Quantum Field Theory,'' at Boston University, March 1996. It will be published in the proceedings of this conference.

This volume contains the proceedings of the 16th International Conference on Quantum Physics and Logic (QPL 2017), which was held June 10-14, 2019. Quantum Physics and Logic is an annual conference that brings together researchers working…

Comment on ``The 2005 Neyman Lecture: Dynamic Indeterminism in Science'' [arXiv:0808.0620]

Comment on ``The 2005 Neyman Lecture: Dynamic Indeterminism in Science'' [arXiv:0808.0620]

This is an updated version of the lectures notes for a course on condensed mathematics taught in the summer term 2019 at the University of Bonn. The material presented is joint work with Dustin Clausen. This is intended as a stable citable…

This is the list of the full papers accepted for presentation at the 32nd International Conference on Logic Programming, New York City, USA, October 18-21, 2016. In addition to the main conference itself, ICLP hosted four pre-conference…

This document summarizes the presentation on Quantum-centric Supercomputing given at the 22nd International Workshop on Advanced Computing and Analysis Techniques in Physics Research, hosted at Stony Brook University.