Content deleted Content added
No edit summary |
→Unfolding: new section |
||
Line 19:
Hence, this redirection seems really wrong to me. <small><span class="autosigned">— Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[User:Arthur MILCHIOR|Arthur MILCHIOR]] ([[User talk:Arthur MILCHIOR|talk]] • [[Special:Contributions/Arthur MILCHIOR|contribs]]) 12:18, 27 June 2012 (UTC)</span></small><!-- Template:Unsigned --> <!--Autosigned by SineBot-->
== 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 discusses 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)
| |||