Jump to content

User:Wvbailey/History of recursion

From Wikipedia, the free encyclopedia
< User:Wvbailey
This is an old revision of this page, as edited by Wvbailey (talk | contribs) at 15:41, 30 August 2009 (→Dedekind 1888). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Dedekind 1888

The numbers in parentheses refer to the "articles" in his essay (1889) Essays on the Theory of Numbers translated into English (1909) by Behman:

"As such main points I mention here the sharp distinction between finite and infinite (64), the notion of the number [Anzahl] of things (161), the proof that the form of argument known as complete induction (or the inference from n to n+1) is really conclusive (59), (60), (80), and that therefore the definition by induction (or recursion) is determinate and consistent (126)". (Dedekind 1909:33)

Peano 1889

Assimilation into Formalism by Hilbert

Goedel

Retrieved from "https://en.wikipedia.org/w/index.php?title=User:Wvbailey/History_of_recursion&oldid=310901132"