Talk:History of the function concept
|WikiProject Mathematics||(Rated B-class, High-importance)|
|Text from this version of Function (mathematics) was copied or moved into History of the function concept with this edit. The former page's history now serves to provide attribution for that content in the latter page, and it must not be deleted so long as the latter page exists. The former page's talk page can be accessed at Talk:Function (mathematics).|
Wvbailey wrote the following on the Talk:Function (mathematics) after moving the history over from there, I've copied it verbatim so 'the article' at the end is the function article:- Dmcq (talk) 15:49, 31 July 2012 (UTC)
Per discussion above and apparent agreement I moved the history section to History of the function concept. Almost all the references and footnotes when with it. I suggest someone else write the summary, the effort needs new eyes, more a mathematician's eyes than a historian's. Here's a place to start: Historically there are a few deep trends. The first trend began with the intuitive notion of "mathematical formula" aka algebra (i.e. symbols as "unknowns") from this deriving analysis and the need to graph the behavior of a mathematical formula with respect to the "unknowns" when they're assigned values, then the idea of ordered pairs as derived from set theory, then the idea from computation of a "function box" and tabular lookup (e.g. Turing machines; I have not seen any earlier formal expression of a "state table" anywhere). With the Logicists we see the ernest attempt to axiomatize, formalize and locate the philosophical "essence" of mathematics, starting in ernest with Dedekind's The Nature and Meaning of Numbers, then Peano and Frege, culminating in Russell; here we see the formalization of the idea of a relation, and then its restricted form --the functional relation -- that dodges consistency violations [cf Hartley Rogers 1967]. These ideas were taken further by the set theorists (not clear where the bifurcation began and why) in an attempt to resolve problems with PM, in particular the axiom of reducibility. Since Bourbaki 1939 we've see almost every mathematician on the face of the earth creating their own symbolisms and formalisms and definitions.
It looks like this article could use some attention. I reorganized some material and added a paragraph on Dedekind. (The article strikes me as a bit unbalanced toward logic over mathematics.) Reader634 (talk) 09:51, 3 January 2014 (UTC)