A Note on the Recursive Unsolvability of Primitive Recursive Arithmetic

Proceedings of the American Mathematical Society - United States
doi 10.2307/2035077
Full Text
Abstract

Available in full text

Date
Authors
Publisher

JSTOR

Related search

A Note on the Recursive Sequence

Journal of Difference Equations and Applications
Applied MathematicsNumber TheoryAnalysisAlgebra
2012English

Independent Recursive Axiomatizability in Arithmetic

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1969English

A Note on the Symmetric Recursive Inverse Eigenvalue Problem

SIAM Journal on Matrix Analysis and Applications
Analysis
2003English

Proof Without Words: Limit of a Recursive Arithmetic Mean

Mathematics Magazine
Mathematics
2016English

Symbolic Test Case Generation for Primitive Recursive Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

A Recursive Vesicle-Based Model Protocell With a Primitive Model Cell Cycle

Nature Communications
AstronomyGeneticsMolecular BiologyBiochemistryChemistryPhysics
2015English

A Note on a New Class of Recursive Utilities in Markov Decision Processes

Applicationes Mathematicae
2017English

Recursive Unsolvability of Post's Problem of "Tag" and Other Topics in Theory of Turing Machines

Annals of Mathematics
UncertaintyStatisticsProbability
1961English

On the Origin of Recursive Procedures

Computer Journal
Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy