Talk:Primitive recursive arithmetic: Difference between revisions

Revision as of 20:55, 8 July 2016

Latest revision as of 06:05, 10 May 2024

(4 intermediate revisions by 3 users not shown)

Line 1:

{{mathsWikiProject ratingbanner shell|class=Start|priority=Low|field=foundations}}

{{WikiProject Mathematics|priority=Low}}

}}

==History==

History: Skolem (1923) the first published version.

Line 28 ⟶ 31:

== Unfolding ==

It would be nice to add a discussion of [[unfolding (logic)]] and how it connects [[finitist arithmetic]] to PRA and [[non-finitist arithmetic]] to [[Peano arithmetic]], as discussesdiscussed by Feferman, Strahm [https://math.stanford.edu/~feferman/papers/UnfoldFA.pdf Unfolding finitist arithmetic] (2010) but as can be seen, the various red-links make this currently quite difficult. [[Special:Contributions/67.198.37.16|67.198.37.16]] ([[User talk:67.198.37.16|talk]]) 20:31, 8 July 2016 (UTC)