相关论文: Tennenbaum at Penn and Rochester

This is the text of an introductory lecture delivered at the IHES summer school on motives in July, 2006.

This volume constitutes the informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022), held on 21-23rd September 2022 as a hybrid (blended) meeting, both in-person (at the…

The 2012 logic blog has focussed on the following: Randomness and computable analysis/ergodic theory; Systematizing algorithmic randomness notions; Traceability; Higher randomness; Calibrating the complexity of equivalence relations from…

In this write-up of my SQM 2006 Theory Summary talk I focus on a selection of key contributions which I consider to have a large impact on the current status of the field of strangeness physics or which may have the potential to…

Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are solicited in all areas of logic programming and related areas, including but…

Brief lecture notes for a course about random matrices given at the University of Cambridge.

Not only a review of Weintraub's Differential Forms: Theory and Practice but also a discussion of why differential forms should be taught to undergraduates and an overview of some of the other possible texts that could be used.

This is a lecture on the ethics and role of science in promoting rational and objective thinking in society. It was delivered by Prof. Shyamal Sengupta of Kolkata, India. Prof. Sengupta, who passed away recently, has inspired generations of…

These are notes from the 2003 C.I.M.E. summer school "symplectic 4-manifolds and algebraic surfaces". They cover the same material as the author's (by now ancient) Ph.D. thesis.

Talk presented at the XXVI International Conference on High Energy Physics, Dallas, Texas, August, 12, 1992.

In his autobiographic essay written in 1999, ``From logic to computer science and back'', Martin David Davis (3/8/1928--1/1/2023) indicated that he viewed himself as a logician \emph{and} a computer scientist. He expanded the essay in 2016…

This is a collection of variants of Schanuel's conjecture and the known dependencies between them. It was originally written in 2007, and made available for a time on my webpage. I have been asked by a few people to make it available again…

Talk presented at Strings '99 in Potsdam, Germany (July 19 - 24, 1999).

These notes provide a short, focused introduction to modelling stochastic gene expression, including a derivation of the master equation, the recovery of deterministic dynamics, birth-and-death processes, and Langevin theory. The notes were…

The paper describes the contributions of Alain Colmerauer to the areas of logic programs (LP) and constraint logic programs (CLP).

These are the extended lecture notes of my lecture about ``Linear Operators on Polynomials, $K$-Positivity Preserver, and their Generators''. The lecture was given at the University of Konstanz in the winter semester 2025/26.

The paper presents an extension of temporal epistemic logic with operators that quantify over strategies. The language also provides a natural way to represent what agents would know were they to be aware of the strategies being used by…

This paper summarizes and discusses the methodological research in human genetic linkage analysis, leading up to and following from the paper of C. A. B. Smith presented as a Royal Statistical Society discussion paper in 1953. This paper…

This is the collection of the proceedings presented by the IceCube Collaboration at the TAUP2007 conference.

Cognitive states are involving in our daily life, which motivates us to explore them and understand them by a vast variety of perspectives. Among these perspectives, brain connectivity is increasingly receiving attention in recent years. It…