Journal Article10.2307/2371045
An Unsolvable Problem of Elementary Number Theory
1.8K
TL;DR: The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world as mentioned in this paper, which is supported by libraries, scholarly societies, publishers, and foundations.
read more
Abstract: Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non-commercial use. Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission. The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world. The Archive is supported by libraries, scholarly societies, publishers, and foundations. It is an initiative of JSTOR, a not-for-profit organization with a mission to help the scholarly community take advantage of advances in technology. For more information regarding JSTOR, please contact support@jstor.org.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
The Computational Theory of Mind
Matteo Colombo,Gualtiero Piccinini +1 more
- 13 Nov 2023
TL;DR: The Computational Theory of Mind needs to be made compatible with the tractability of cognition, the situatedness and dynamical aspects of the mind, the way the brain works, intentionality, and consciousness to be turned into an adequate theory.
87
Functional programming and lambda calculus
Henk Barendregt
- 02 Jan 1991
TL;DR: The chapter presents the meaning of a λ -term, which is given by translating it to a set [M], which is an element of a mathematical structure in which application and abstraction are well-defined operations.
86
On observational equivalence and algebraic specification
Donald Sannella,Andrzej Tarlecki +1 more
- 25 Mar 1985
TL;DR: The properties of a simple and natural notion of observational equivalence of algebras and the corresponding specification-building operation (observational abstraction) are studied and its central role in program development is shown by means of an example.
History of Lambda-calculus and Combinatory Logic
Felice Cardone,Roger Hindley +1 more
- 01 Jan 2006
TL;DR: The general development of type theories can be traced back to type theory theory theory as discussed by the authors, which is a generalization of higher-order type theory and has been studied extensively in the literature.
Alan Turing and the development of Artificial Intelligence
TL;DR: Alan Turing's motivations and expectations for the development of Machine Intelligence, as expressed in his 1950 article in Mind are investigated, and it is shown that many of the trends and developments within AI over the last 50 years were foreseen in this foundational paper.