相关论文: Tennenbaum at Penn and Rochester

CL&C'12 was the fourth of a conference series on "Classical Logic and Computation", held as satellite to ICALP'12 on Sunday July 8, 2012 in Warwick, England. CL&C intends to cover all work aiming to explore computational aspects of…

The paper presents a lightweight discussion of relations between energy, entropy, information, and intelligence, based on an analysis of the energy needed for computation.

Edited proceedings of an interdisciplinary symposium on consciousness held at the University of Cambridge in January 1978. The purpose of the Cambridge conference was to encourage distinguished scientists to express their views on the…

The aim of this study is to formally express awareness for modeling practical agent communication. The notion of awareness has been proposed as a set of propositions for each agent, to which he/she pays attention, and has contributed to…

This is the write-up of the theory keynote talk on the Top2014 conference in Cannes, France.

This volume contains the proceedings of the 19th International Conference on Quantum Physics and Logic (QPL 2022), which was held June 27-July 1, 2022 at Wolfson College, University of Oxford, UK. QPL is an annual conference that brings…

This paper gives an overview from the perspective of Lie group theory of some of the recent advances in the rapidly expanding research area of quantum entanglement. This paper is a written version of the last of eight one hour lectures…

Notes on algebraic stacks, prepared for an 11-lecture course at the NCTS, Taipei, during the fall of 2022.

These are the lecture notes of a course taught at the Park City Mathematics Institute in June 2017. They are intended to review some recent results, obtained in large part with Thomas Lebl\'e, on the statistical mechanics of systems of…

This is a non-standard paper, containing some problems, mainly in model theory, which I have, in various degrees, been interested in. Sometimes with a discussion on what I have to say; sometimes, of what makes them interesting to me,…

Deep learning has enabled major advances across most areas of artificial intelligence research. This remarkable progress extends beyond mere engineering achievements and holds significant relevance for the philosophy of cognitive science.…

This letter is my comment about the opinion paper: Transdisciplinary electric power grid science (PNAS, 2013 - http://www.pnas.org/content/110/30/12159.full). [arXiv:1307.7305].

These notes are from a 4-lecture mini-course taught by the author at the conference on von Neumann algebras as part of the ``Geometrie non commutative en mathematiques et physique'' month at CIRM in 2004.

A simple proof of a key inequality required by the paper's analysis is presented. An introductory section discussing the paper's setup may be helpful to some readers. An alternative statistical analysis is suggested.

These are the lecture notes for the LMS/EPSRC short course on strong approximation methods in linear groups organized by Dan Segal in Oxford in September 2007.

This volume contains the proceedings of the ninth workshop on Quantum Physics and Logic (QPL2012) which took place in Brussels from the 10th to the 12th of October 2012. QPL2012 brought together researchers working on mathematical…

We generalize Tennenbaum's geometric proof of the irrationality of sqrt(2) to sqrt(n) for n = 3, 5, 6 and 10. Modified version published in Mathematics Magazine \textbf{85} (2012), no. 2, 110--114.

With the continuous advancement of reasoning abilities in Large Language Models (LLMs), their application to scientific reasoning tasks has gained significant research attention. Current research primarily emphasizes boosting LLMs'…

These notes overlap with lectures given at the TASI summer schools in 2014 and 2011, as well as at the European School of High Energy Physics in 2013. This is primarily an attempt at transcribing my hand-written notes, with emphasis on…

These notes are based on lectures given in Wuhan (China) in July 2007. Their aim is to provide an introduction to Langlands philosophy.