|
Where Mathematics Comes From
''Where Mathematics Comes From: How the Embodied Mind Brings Mathematics into Being'' (hereinafter ''WMCF'') is a book by George Lakoff, a cognitive linguistics, cognitive linguist, and Rafael E. Núñez, a psychologist. Published in 2000, ''WMCF'' seeks to found a cognitive science of mathematics, a theory of embodied philosophy, embodied mathematics based on conceptual metaphor. ''WMCF'' definition of mathematics Mathematics makes up that part of the human conceptual system that is special in the following way: :It is precise, consistent, stable across time and human communities, symbolizable, calculable, generalizable, universally available, consistent within each of its subject matters, and effective as a general tool for description, explanation, and prediction in a vast number of everyday activities, [ranging from] sports, to building, business, technology, and science. - ''WMCF'', pp. 50, 377 Nikolay Lobachevsky said "There is no branch of mathematics, however abstract, whi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
George Lakoff
George Philip Lakoff (; born May 24, 1941) is an American cognitive linguist and philosopher, best known for his thesis that people's lives are significantly influenced by the conceptual metaphors they use to explain complex phenomena. The conceptual metaphor thesis, introduced in his and Mark Johnson's 1980 book ''Metaphors We Live By'' has found applications in a number of academic disciplines. Applying it to politics, literature, philosophy and mathematics has led Lakoff into territory normally considered basic to political science. In his 1996 book ''Moral Politics'', Lakoff described conservative voters as being influenced by the " strict father model" as a central metaphor for such a complex phenomenon as the state, and liberal/ progressive voters as being influenced by the " nurturant parent model" as the folk psychological metaphor for this complex phenomenon. According to him, an individual's experience and attitude towards sociopolitical issues is influenced by be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Square Root Of Two
The square root of 2 (approximately 1.4142) is a positive real number that, when multiplied by itself, equals the number 2. It may be written in mathematics as \sqrt or 2^, and is an algebraic number. Technically, it should be called the principal square root of 2, to distinguish it from the negative number with the same property. Geometrically, the square root of 2 is the length of a diagonal across a square with sides of one unit of length; this follows from the Pythagorean theorem. It was probably the first number known to be irrational. The fraction (≈ 1.4142857) is sometimes used as a good rational approximation with a reasonably small denominator. Sequence in the On-Line Encyclopedia of Integer Sequences consists of the digits in the decimal expansion of the square root of 2, here truncated to 65 decimal places: : History The Babylonian clay tablet YBC 7289 (c. 1800–1600 BC) gives an approximation of in four sexagesimal figures, , which is accurate to about si ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conceptual Metaphor
In cognitive linguistics, conceptual metaphor, or cognitive metaphor, refers to the understanding of one idea, or conceptual domain, in terms of another. An example of this is the understanding of quantity in terms of directionality (e.g. "the price of peace is ''rising''") or the understanding of time in terms of money (e.g. "I ''spent'' time at work today"). A conceptual domain can be any mental organization of human experience. The regularity with which different languages employ the same metaphors, often perceptually based, has led to the hypothesis that the mapping between conceptual domains corresponds to neural mappings in the brain. This theory has gained wide attention, although some researchers question its empirical accuracy. This idea, and a detailed examination of the underlying processes, was first extensively explored by George Lakoff and Mark Johnson in their work ''Metaphors We Live By'' in 1980. Since then, the field of metaphor studies within the larger discip ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics, Form And Function
''Mathematics, Form and Function'', a book published in 1986 by Springer-Verlag, is a survey of the whole of mathematics, including its origins and deep structure, by the American mathematician Saunders Mac Lane. Mathematics and human activities Throughout his book, and especially in chapter I.11, Mac Lane informally discusses how mathematics is grounded in more ordinary concrete and abstract human activities. The following table is adapted from one given on p. 35 of Mac Lane (1986). The rows are very roughly ordered from most to least fundamental. For a bullet list that can be compared and contrasted with this table, see section 3 of '' Where Mathematics Comes From''. Also see the related diagrams appearing on the following pages of Mac Lane (1986): 149, 184, 306, 408, 416, 422-28. Mac Lane (1986) cites a related monograph by Lars Gårding (1977). Mac Lane's relevance to the philosophy of mathematics Mac Lane cofounded category theory with Samuel Eilenberg, which ena ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category Theory
Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, category theory is used in almost all areas of mathematics, and in some areas of computer science. In particular, many constructions of new mathematical objects from previous ones, that appear similarly in several contexts are conveniently expressed and unified in terms of categories. Examples include quotient spaces, direct products, completion, and duality. A category is formed by two sorts of objects: the objects of the category, and the morphisms, which relate two objects called the ''source'' and the ''target'' of the morphism. One often says that a morphism is an ''arrow'' that ''maps'' its source to its target. Morphisms can be ''composed'' if the target of the first morphism equals the source of the second one, and morphism com ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Samuel Eilenberg
Samuel Eilenberg (September 30, 1913 – January 30, 1998) was a Polish-American mathematician who co-founded category theory (with Saunders Mac Lane) and homological algebra. Early life and education He was born in Warsaw, Kingdom of Poland to a Jewish family. He spent much of his career as a professor at Columbia University. He earned his Ph.D. from University of Warsaw in 1936, with thesis ''On the Topological Applications of Maps onto a Circle''; his thesis advisors were Kazimierz Kuratowski and Karol Borsuk. He died in New York City in January 1998. Career Eilenberg's main body of work was in algebraic topology. He worked on the axiomatic treatment of homology theory with Norman Steenrod (and the Eilenberg–Steenrod axioms are named for the pair), and on homological algebra with Saunders Mac Lane. In the process, Eilenberg and Mac Lane created category theory. Eilenberg was a member of Bourbaki and, with Henri Cartan, wrote the 1956 book ''Homological Algebra''. La ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Saunders Mac Lane
Saunders Mac Lane (4 August 1909 – 14 April 2005) was an American mathematician who co-founded category theory with Samuel Eilenberg. Early life and education Mac Lane was born in Norwich, Connecticut, near where his family lived in Taftville.. He was christened "Leslie Saunders MacLane", but "Leslie" fell into disuse because his parents, Donald MacLane and Winifred Saunders, came to dislike it. He began inserting a space into his surname because his first wife found it difficult to type the name without a space. He was the oldest of three brothers; one of his brothers, Gerald MacLane, also became a mathematics professor at Rice University and Purdue University. Another sister died as a baby. His father and grandfather were both ministers; his grandfather had been a Presbyterian, but was kicked out of the church for believing in evolution, and his father was a Congregationalist. His mother, Winifred, studied at Mount Holyoke College and taught English, Latin, and mathematics. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reuben Hersh
Reuben Hersh (December 9, 1927 – January 3, 2020) was an American mathematician and academic, best known for his writings on the nature, practice, and social impact of mathematics. Although he was generally known as Reuben Hersh, late in life he sometimes used the name Reuben Laznovsky in recognition of his father's ancestral family name. His work challenges and complements mainstream philosophy of mathematics. Education After receiving a B.A. in English literature from Harvard University in 1946, Hersh spent a decade writing for ''Scientific American'' and working as a machinist. After losing his right thumb when working with a band saw, he decided to study mathematics at the Courant Institute of Mathematical Sciences. In 1962, he was awarded a Ph.D. in mathematics from New York University; his advisor was P.D. Lax. He was affiliated with the University of New Mexico since 1964, where he was professor emeritus. Academic career Hersh wrote a number of technical articles on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Closure (mathematics)
In mathematics, a subset of a given set is closed under an operation of the larger set if performing that operation on members of the subset always produces a member of that subset. For example, the natural numbers are closed under addition, but not under subtraction: is not a natural number, although both 1 and 2 are. Similarly, a subset is said to be closed under a ''collection'' of operations if it is closed under each of the operations individually. The closure of a subset is the result of a closure operator applied to the subset. The ''closure'' of a subset under some operations is the smallest subset that is closed under these operations. It is often called the ''span'' (for example linear span) or the ''generated set''. Definitions Let be a set equipped with one or several methods for producing elements of from other elements of . Operations and (partial) multivariate function are examples of such methods. If is a topological space, the limit of a sequence of element ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Platonism
Platonism is the philosophy of Plato and philosophical systems closely derived from it, though contemporary platonists do not necessarily accept all of the doctrines of Plato. Platonism had a profound effect on Western thought. Platonism at least affirms the existence of abstract objects, which are asserted to exist in a third realm distinct from both the sensible external world and from the internal world of consciousness, and is the opposite of nominalism." Philosophers who affirm the existence of abstract objects are sometimes called platonists; those who deny their existence are sometimes called nominalists. The terms "platonism" and "nominalism" have established senses in the history of philosophy, where they denote positions that have little to do with the modern notion of an abstract object. In this connection, it is essential to bear in mind that modern platonists (with a small 'p') need not accept any of the doctrines of Plato, just as modern nominalists need not acce ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Potential Infinite
In the philosophy of mathematics, the abstraction of actual infinity involves the acceptance (if the axiom of infinity is included) of infinite entities as given, actual and completed objects. These might include the set of natural numbers, extended real numbers, transfinite numbers, or even an infinite sequence of rational numbers. Actual infinity is to be contrasted with potential infinity, in which a non-terminating process (such as "add 1 to the previous number") produces a sequence with no last element, and where each individual result is finite and is achieved in a finite number of steps. As a result, potential infinity is often formalized using the concept of limit. Anaximander The ancient Greek term for the potential or improper infinite was ''apeiron'' (unlimited or indefinite), in contrast to the actual or proper infinite ''aphorismenon''. ''Apeiron'' stands opposed to that which has a ''peras'' (limit). These notions are today denoted by ''potentially infinite'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Calculus
Calculus, originally called infinitesimal calculus or "the calculus of infinitesimals", is the mathematical study of continuous change, in the same way that geometry is the study of shape, and algebra is the study of generalizations of arithmetic operations. It has two major branches, differential calculus and integral calculus; the former concerns instantaneous rates of change, and the slopes of curves, while the latter concerns accumulation of quantities, and areas under or between curves. These two branches are related to each other by the fundamental theorem of calculus, and they make use of the fundamental notions of convergence of infinite sequences and infinite series to a well-defined limit. Infinitesimal calculus was developed independently in the late 17th century by Isaac Newton and Gottfried Wilhelm Leibniz. Later work, including codifying the idea of limits, put these developments on a more solid conceptual footing. Today, calculus has widespread uses in scienc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
