相关论文: Tennenbaum at Penn and Rochester

The TARK conference (Theoretical Aspects of Rationality and Knowledge) is a biannual conference that aims to bring together researchers from a wide variety of fields, including computer science, artificial intelligence, game theory,…

The present document is an excerpt of an essay that I wrote as part of my application material to graduate school in Computer Science (with a focus on Artificial Intelligence), in 1986. I was not invited by any of the schools that received…

This is a written version of a series of lectures aimed at undergraduate students in astrophysics/particle theory/particle experiment. We summarize the important progress made in recent years towards understanding high energy astrophysical…

In 1955, an international conference took place in Berne at which the state of relativity theory and its possible generalizations were presented and critically discussed. I review the most important contributions to that conference and put…

A personal and subjective recollection, concerning mainly Wilson's lectures delivered over the spring of 1972 at Princeton University (summary of a talk at Cornell University on November 16, 2013 at the occasion of the memorial Kenneth G.…

This is a summary of the `Astronomy Perspective' of the 4th meeting on 'Statistical Challenges in Modern Astronomy' held at Penn State University in June 2006. We comment on trends in the Astronomy community towards Bayesian methods and…

These five lectures on undecidability were given to students with a good level in mathematics but with no special knowledge on logic. The first conference presents the formalization of mathematics with a short historical survey, the…

These are notes from elementary lectures given in the summer of 2013 at the YMSC center at Tsinghua University in Beijing.

Logic not only helps to solve complicated and safety-critical problems, but also disciplines the mind and helps to develop abstract thinking, which is very important for any area of Engineering. In this technical report, we present an…

This volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS) contains extended abstracts of talks to be presented at the Seventh International Conference on Computability and Complexity in Analysis (CCA 2010) that will…

Computational Thinking (CT) has emerged as one of the vital thinking skills in recent times, especially for Science, Technology, Engineering and Management (STEM) graduates. Educators are in search of underlying cognitive models against…

Non-Classical Logics. Theory and Applications (NCL) is an international conference aimed at presenting novel results and survey works in widely understood non-classical logics and their applications. This year's edition was also an…

I gave a rambling talk about gravity and its many mysteries at Chen-Ning Yang's 85th Birthday Celebration held in November 2007. I don't have any answers.

Talk given at the 6th Philosophy-and-Physics-Workshop ``Epistemological Aspects of the Role of Mathematics in Physical Science'', FEST, Heidelberg, Feb. 1993

A brief remembrance of some aspects of the author's scientific interaction with Stephen Hawking. A contribution to Physics Today's March 14, 2018 web page in which Stephen Hawking is remembered by his colleagues.

This document is an abridgement of the commemorative book prepared on the occasion of the symposium "In Celebration of the Fixed Target Program with the Tevatron" held at Fermilab on June 2, 2000. The full text with graphics contains, in…

Lecture given Thursday 22 October 1992 at a Mathematics-Computer Science Colloquium at the University of New Mexico. The lecture was videotaped; this is an edited transcript.

Quantum logic understood as a reconstruction program had real successes and genuine limitations. This paper offers a synopsis of both and suggests a way of seeing quantum logic in a larger, still thriving context.

This paper presents an extension of temporal epistemic logic with operators that quantify over agent strategies. Unlike previous work on alternating temporal epistemic logic, the semantics works with systems whose states explicitly encode…

These are partial lecture notes from the fifteen Ess\'en Lectures for graduate students at Uppsala University given (in four days!) in June 2013.