Content deleted Content added
m Signing comment by Arthur MILCHIOR - "→Skolem arithmetic ?: new section" |
rm stale broken anchor tag |
||
| (10 intermediate revisions by 4 users not shown) | |||
Line 1:
{{
{{WikiProject Mathematics|priority=Low}}
}}
==History==
History: Skolem (1923) the first published version.
Line 8 ⟶ 11:
Article takes a huge left turn at the logic-free calculus section, by using a formalism that is not explained, and apparently not even linked to the article. This is, indeed, a calculus which is free from logic! [[Special:Contributions/70.247.164.231|70.247.164.231]] ([[User talk:70.247.164.231|talk]]) 21:26, 28 August 2010 (UTC)
:Perhaps this helps? The big horizontal bar is the [[Rule of inference]] -- [[Special:Contributions/67.198.37.16|67.198.37.16]] ([[User talk:67.198.37.16|talk]]) 20:47, 8 July 2016 (UTC)
== From <math>\phi(0)</math> and <math>\phi(x)</math> <math>\to</math> <math>\phi(S(x))</math>, deduce <math>\phi(y)</math>, for any predicate <math>\phi.</math> ==
What do you mean by "predicate" here? You don't mention above, that in the language of PRA predicate symbols exist. Perhaps you mean "formula of PRA"? [[User:Eugepros|Eugepros]] ([[User talk:Eugepros|talk]]) 10:48, 21 July 2011 (UTC)
:Yeah, beats me, this looks like either a mistake or something that needs clarification and explanation. Or something. [[Special:Contributions/67.198.37.16|67.198.37.16]] ([[User talk:67.198.37.16|talk]]) 20:55, 8 July 2016 (UTC)
== Skolem arithmetic ? ==
Line 19 ⟶ 26:
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-->
:WP currently has this solution to this question: [[Skolem arithmetic (disambiguation)]]. [[Special:Contributions/67.198.37.16|67.198.37.16]] ([[User talk:67.198.37.16|talk]]) 20:33, 8 July 2016 (UTC)
== 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 discussed 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)
| |||