English
Related papers

Related papers: Tennenbaum at Penn and Rochester

200 papers

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…

Logic in Computer Science · Computer Science 2012-10-11 Herman Geuvers , Ugo de'Liguoro

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

Classical Physics · Physics 2012-10-29 Vladimir Cerny

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…

Multiagent Systems · Computer Science 2024-02-13 Yudai Kubono , Teeradaj Racharak , Satoshi Tojo

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

High Energy Physics - Phenomenology · Physics 2014-12-24 Frank Krauss

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…

Logic in Computer Science · Computer Science 2023-11-15 Stefano Gogioso , Matty Hoban

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…

Quantum Physics · Physics 2007-05-23 Samuel J. Lomonaco

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

Algebraic Geometry · Mathematics 2026-04-10 Adeel A. Khan

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…

Mathematical Physics · Physics 2017-09-14 Sylvia Serfaty

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,…

Logic · Mathematics 2007-05-23 Saharon Shelah

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.…

Computation and Language · Computer Science 2024-05-08 Raphaël Millière

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].

Systems and Control · Computer Science 2017-06-20 Pedro H. J. Nardelli

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.

Operator Algebras · Mathematics 2007-05-23 Dimitri Shlyakhtenko

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.

Quantum Physics · Physics 2007-07-25 Stephen Parrott

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.

Group Theory · Mathematics 2009-08-15 Nikolay Nikolov

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…

Quantum Physics · Physics 2014-08-01 Ross Duncan , Prakash Panangaden

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.

History and Overview · Mathematics 2018-07-03 Steven J. Miller , David Montague

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'…

Artificial Intelligence · Computer Science 2026-05-19 Zhaoxin Yu , Nan Xu , Kun Chen , Jiahao Zhao , Lei Wang , Wenji Mao

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…

High Energy Physics - Phenomenology · Physics 2015-10-28 Zoltan Ligeti

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

Representation Theory · Mathematics 2007-09-19 G. Lusztig