Jump to content

Talk:Primitive recursive arithmetic: Revision history

View logs for this page (view filter log)

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 06:0506:05, 10 May 2024 David Eppstein talk contribs 2,881 bytes −539 rm stale broken anchor tag undo

curprev 03:4103:41, 9 March 2024 Cewbot talk contribs m 3,420 bytes −18 Maintain {{WPBS}}: 1 WikiProject template. Remove 1 deprecated parameter: field. undo Tag: Talk banner shell conversion

curprev 02:5802:58, 29 January 2024 Qwerfjkl (bot) talk contribs 3,438 bytes +43 Implementing WP:PIQA (Task 26) undo Tag: Talk banner shell conversion

curprev 10:1410:14, 6 January 2023 Cewbot talk contribs 3,395 bytes +539 Reminder of an inactive anchor: variable substitution undo

curprev 21:4521:45, 5 June 2014 86.132.222.183 talk 1,726 bytes +11 No edit summary undo

curprev 12:1912:19, 27 June 2012 SineBot talk contribs m 1,715 bytes +327 Signing comment by Arthur MILCHIOR - "→Skolem arithmetic ?: new section" undo
curprev 12:1812:18, 27 June 2012 Arthur MILCHIOR talk contribs 1,388 bytes +312 →Skolem arithmetic ?: new section undo

curprev 10:4810:48, 21 July 2011 Eugepros talk contribs 1,076 bytes +401 →From \phi(0) and \phi(x) \to \phi(S(x)), deduce \phi(y), for any predicate \phi.: new section undo

curprev 21:2621:26, 28 August 2010 70.247.164.231 talk 675 bytes +350 please EXPLAIN undo

curprev 12:1112:11, 22 February 2010 CBM talk contribs 325 bytes +60 Rating article for WikiProject Mathematics. Quality: Start / Priority: Low / Field: foundations (script assisted) undo

curprev 09:0709:07, 25 August 2007 131.111.8.102 talk 265 bytes +265 ←Created page with ' History: Skolem (1923) the first published version. Say sth about the possibility of presenting PRA in a logic-free equation calculus? (Propositional connectives...'

Retrieved from "https://en.wikipedia.org/wiki/Talk:Primitive_recursive_arithmetic"