Content deleted Content added
rm stale broken anchor tag |
|||
| (6 intermediate revisions by 3 users not shown) | |||
Line 1:
{{
{{WikiProject Mathematics|priority=Low}}
}}
==History==
History: Skolem (1923) the first published version.
Line 9 ⟶ 12:
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 26 ⟶ 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
| |||