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
Computational aspects of approval voting and declared-strategy voting
Ron K. Cytron,Rob LeGrand +1 more
- 01 Jan 2008
TL;DR: In this article, the authors explore aspects of strategy under three different Approval Voting systems, from a computational viewpoint, and propose a theory regarding the most effective approval strategies in a Declared Strategy Voting (DSV) context.
6
From computing with numbers to computing with numeric words
Rodolfo A. Fiorini
- 01 Jul 2017
TL;DR: The fundamental pre-spatial geometro-arithmetic scheme defining optimized numeric word generators and relations to minimize the traditional multiscale statistic modeling veil opacity and information entropy generation is shown.
6
On the nature of mathematical systems
TL;DR: The crux of the dispute between formalism and intuitionism, it is held, is not whether certain entities exist or not, but how the term function shall be used in mathematics as mentioned in this paper.
6
Foundations of Mathematics from the Perspective of Computer Verification
Henk Barendregt
- 01 Jan 2013
TL;DR: It is argued that most philosophical views over-emphasize a particular aspect of the mathematical endeavor.
6
•Posted Content
Inconsistency Robustness in Foundations: Mathematics self proves its own Consistency and Other Matters
TL;DR: How considerations of Inconsistency Robustness have recently influenced the foundations of mathematics for Computer Science continuing a tradition developing the sociological basis for foundations is reported.
6