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 Notion of Universality in Crash-Prone Asynchronous Message-Passing Systems: A Tutorial
Michel Raynal
- 01 Oct 2019
TL;DR: This tutorial is to introduce the reader to the notion of a distributed universal construction (and universal objects these constructions rely on), and more precisely, explain which assumptions on the environment are necessary in order objects with provably reliability properties can be built.
5
Semantic Representation and Enforcement of Electronic Contracts on Audiovisual Content
Víctor Rodríguez Doncel
- 01 Jan 2010
TL;DR: A computer representation language for agreements on multimedia content and the mechanisms to execute them in the framework of a content distribution system and the conversion of narrative contracts in the audiovisual market to the format of digital licenses is proposed by means of a rich knowledge representation schema.
5
Thinking Computers and The Problem of Intentionality
Eric Dietrich
- 01 Jan 1994
TL;DR: In this paper, the authors attempt to clear the names of artificial intelligence (AI) and computational cognitive science (CCS) and argue that the two related disciplines have been accused of a conceptual error so profound that their very existence is jeopardized.
5
•Posted Content
Universal Computation with Quantum Fields
TL;DR: In this paper, a universal quantum computation with particles which cannot occupy the same position simultaneously and are symmetric under exchange of particle labels is proposed, where the associated creation and annihilation operators are neither bosonic nor fermionic.
5
•Dissertation
Decidability for Non-Standard Conversions in Typed Lambda-Calculi
Freiric Barral
- 06 Jun 2008
TL;DR: This thesis studies the decidability of conversions in typed lambda-calculi, along with the algorithms allowing for this decidibility, and strives to explain the latter thanks to the former.
5