Revision as of 01:36, 28 August 2009 edit CBM (talk \| contribs) Extended confirmed users, File movers, Pending changes reviewers, Rollbackers 55,390 edits →importance: p.s. ← Previous edit		Revision as of 01:37, 28 August 2009 edit undo CBM (talk \| contribs) Extended confirmed users, File movers, Pending changes reviewers, Rollbackers 55,390 edits →importance: clarify Next edit →
Line 146: Re Ashton, PRA: the identification of PRA with finitism is a long-running discussion in the philosophy of mathematics. Everyone I have read agrees that PRA is included in "finitism"; the point of contention is whether finitism goes beyond PRA or not, with some on each side. It is trivial to find papers where this is discussed using google. One influential paper is: * "Remarks on finitism", Wiliam Tait, [http://home.uchicago.edu/~wwtx/finitism.pdf]. Some ~~others~~other works that discuss the issue are: * "Partial realizations of Hilbert's program", Stephen Simpson, [http://www.math.psu.edu/simpson/papers/hilbert.pdf] * "Finitistic Properties of High Complexity", Dmytro Taranovsky, [http://web.mit.edu/dmytro/www/FinitismPaper.htm]

Talk:Primitive recursive function: Difference between revisions