Revision #170 → #1296 · back to history
addedSlope as a function of the x-coordinatedf5f80ec5e85
addedModern concept of a function18ebe7e9db92
addedSharaf al-Din's analysis of solutionseb46409df756
addedBernoulli's definition of a function (1718)16ec14d2ecc3
addedDifferentiable functionsba2b3a6d352b
addedEuler's definition of a function (1748)01f6e0b122f2
addedEuler's multi-valued functions5bb89614505f
addedEuler's general definition (1755)5a51128b200b
addedFourier's representation claim3aba9a4b6e81
addedCauchy's notion of a functioneea60df6101b
addedModern formal definition of a function86c04ead4ca4
addedLobachevsky's definition (1834)12a965390201
addedDirichlet's continuous function (1837)b04906aee92d
addedDedekind's definition of a function86e40f828314
addedHardy's definition of a functiona46dcf9e9943
addedDe Morgan's propositional form735b1cdef738
addedBoole's class symbolism for oxen and horsesa89c597c4e06
addedBoole's definition of a function (c.1849)cc0908113e6e
addedBoole's algebraic definition of f(x)90fd332b322d
addedBoole's logical operations as algebra21d3eb8bf108
addedVenn's logical function as a class7c9e07a11e88
addedFrege's argument and functionc655bf951c30
addedFrege's lighter-than carbon dioxide functionba45d827a7e4
addedFrege's one- and two-argument function symbolism15ee8c7e1e41
addedPeano's function presign6c550db07d6e
addedRussell's propositional functions912e4f58b21b
addedFrege's 2x³+x function essencecc11a26355d9
addedPropositional functions as fundamental9d4e84cda836
addedRussell's "ŷ is hurt" propositional functionf84e634d1e30
addedRussell's descriptive function3c00968dd253
addedHilbert's logical ε-function6567accd30eb
addedEffectively calculable function5db4d950a27b
addedChurch's thesis2b3f63a0ef52
addedTuring's unsolvability resultd6825e95ff2c
addedRussell's paradoxd3dbc0312a0b
addedZermelo's Axiom of Separation9dc76507fca6
addedSkolem's definite proposition83ba11df7222
addedRussell's ordered couple with sense96f009000681
addedHausdorff's ordered pair6aa6c8b83e29
addedKuratowski's ordered pairdfc0d17340e1
addedSchönfinkel's many-one correspondence69346291fcd4
addedVon Neumann's function as set of pairs8882222206ce
addedBourbaki's functional relation (1939)1dfae6ea8d17
addedSet-theoretic function as a relation813c2f37b1de
addedKleene's predicate as propositional functionbfbf8f23263f
addedBourbaki's function as a triple (1954)2e4ccdab36b9
addedSuppes's function definition (1960)c4b1f09e644a
addedTarski's sentential function0ac80d1668f7
addedTarski's functional relation937df7101edf