Revision as of 17:51, 24 December 2010 edit Yobot (talk \| contribs) Bots 4,733,870 edits m →References: WP:CHECKWIKI error 66 fixes + general fixes using AWB (7500) ← Previous edit		Revision as of 10:23, 22 December 2011 edit undo Qetuth (talk \| contribs) Extended confirmed users 29,594 edits m Repairing disambig link Next edit →
Line 1: '''Bar recursion''' is a generalized form of recursion developed by Spector in his 1962 paper <ref>{{cite book\|author=C. Spector\|chapter=Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles in current intuitionistic mathematics\|editor=F. D. E. Dekker\|title=Recursive Function Theory: Proc. Symoposia in Pure Mathematics\|volume=5\|pages=1–27\|year=1962\|publisher=[[American Mathematical Society]]}}</ref>. It is related to [[bar induction]] in the same fashion that [[primitive recursion]] is related to ordinary [[Mathematical induction\|induction]], or [[transfinite recursion]] is related to [[transfinite induction]]. ==Technical Definition==

Bar recursion: Difference between revisions