In various fields
editOther branches of mathematics
editThe algebraization of mathematics is the process of applying algebraic methods and principles to other branches of mathematics. This involves the use of symbols in the form of variables to express mathematical insights on a more general level. Another key aspect is to apply structures to model how different types of objects interact without the need to specify what the nature of these objects is besides their patterns of interaction.[1] This is possible because the abstract patterns studied by algebra have many concrete applications in fields like geometry, topology, number theory, and calculus.[2]
Geometry is interested in geometric figures, which can be described using algebraic statements. For example, the equation describes a line in two-dimensional space while the equation corresponds to a sphere in three-dimensional space. Of special interest to algebraic geometry are algebraic varieties,[a] which are solutions to systems of polynomial equations that can be used to describe more complex geometric figures.[3] Topology studies the properties of geometric figures or topological spaces that are preserved under operations of continuous deformation. Algebraic topology relies on algebraic theories like group theory to classify topological spaces. For example, homotopy groups classify topological spaces based on the existence of loops or holes in them.[4] Number theory is concerned with the properties of and relations between integers. Algebraic number theory applies algebraic methods to this field of inquiry, for example, by using algebraic expressions to describe laws, such as Fermat's Last Theorem, and by analyzing how numbers form algebraic structures, such as the ring of integers.[5] The insights of algebra are also relevant to calculus, which uses mathematical expressions to examine rates of change and accumulation. It relies on algebra to understand how these expressions can be transformed and what role variables play in them.[6] Because of its presence throughout mathematics, the influence of algebra extends to many sciences and related fields, including physics, computer science, and engineering.[7]
Logic
editLogic is the study of correct reasoning.[8] Algebraic logic employs algebraic methods to describe and analyze the structures and patterns that underlie logical reasoning.[9] One part of it is interested in understanding the mathematical structures themselves without regard for the concrete consequences they have on the activity of drawing inferences. Another part investigates how the problems of logic can be expressed in the language of algebra and how the insights obtained through algebraic analysis affect logic.[10]
Boolean algebra is an influential device in algebraic logic to describe propositional logic.[11] Propositions are statements that can be true or false.[12] Propositional logic uses logical connectives to combine two propositions to form a complex proposition. For example, the connective "if...then" can be used to combine the propositions "it rains" and "the streets are wet" to form the complex proposition "if it rains then the streets are wet". Propositional logic is interested in how the truth value of a complex proposition depends on the truth values of its constituents.[13] With Boolean algebra, this problem can be addressed by interpreting truth values as numbers: 0 corresponds to false and 1 corresponds to true. Logical connectives are understood as binary operations that take two numbers as input and return the output that corresponds to the truth value of the complex proposition.[14] Algebraic logic is also interested in how more complex systems of logic can be described through algebraic structures and which varieties and quasivarities these algebraic structures belong to.[15]
Education
editAlgebra education mostly focuses on elementary algebra, which is one of the reasons why it is referred to as school algebra. It is usually introduced in secondary education after students have mastered the fundamentals of arithmetic.[17] It aims to familiarize students with the abstract side of mathematics by helping them understand mathematical symbolism, for example, how variables can be used to represent unknown quantities. An additional difficulty for students lies in the fact that, unlike arithmetic calculations, algebraic expressions often cannot be directly solved. Instead, students need to learn how to transform them according to certain laws until the unknown quantity can be determined.[18]
A common example to introduce students to the basic problems of algebra is to use balance scales to represent equations. The mass of some weights on the scale is unknown, which is used to represent variables. Solving an equation corresponds to adding and removing weights on both sides in such a way that the sides stay in balance until the only weight remaining on one side is the weight of unknown mass.[19] The use of word problems is another tool to show how algebra is applied to real-life situations. For example, students may be presented with a situation in which Naomi has twice as many apples as her brother. Given that both together have twelve apples, students are then asked to find an algebraic equation that describes this situation and to determine how many apples Naomi has.[20]
References
edit- Gardella, Francis; DeLucia, Maria (1 January 2020). Algebra for the Middle Grades. IAP. ISBN 978-1-64113-847-5.
- Dekker, Truus; Dolk, Maarten (19 October 2011). "3. From Arithmetic to Algebra". In Drijvers, Paul (ed.). Secondary Algebra Education: Revisiting Topics and Themes and Exploring the Unknown. Springer Science & Business Media. ISBN 978-94-6091-334-1.
- Drijvers, Paul; Goddijn, Aad; Kindt, Martin (19 October 2011). "1. Algebra Education: Exploring Topics and Themes". In Drijvers, Paul (ed.). Secondary Algebra Education: Revisiting Topics and Themes and Exploring the Unknown. Springer Science & Business Media. ISBN 978-94-6091-334-1.
- Arcavi, Abraham; Drijvers, Paul; Stacey, Kaye (23 June 2016). The Learning and Teaching of Algebra: Ideas, Insights and Activities. Routledge. ISBN 978-1-134-82077-1.
- Neri, Ferrante (26 July 2019). Linear Algebra for Computational Sciences and Engineering. Springer. ISBN 978-3-030-21321-3.
- Corrochano, Eduardo Bayro; Sobczyk, Garret (28 June 2011). Geometric Algebra with Applications in Science and Engineering. Springer Science & Business Media. ISBN 978-1-4612-0159-5.
- Boschini, Cecilia; Hansen, Arne; Wolf, Stefan (18 May 2022). Discrete Mathematics. vdf Hochschulverlag ETH Zürich. ISBN 978-3-7281-4110-1.
- Jansana, Ramon (2022). "Algebraic Propositional Logic". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Retrieved 22 January 2024.
- Kachroo, Pushkin; Özbay, Kaan M. A. (16 May 2018). Feedback Control Theory for Dynamic Traffic Assignment. Springer. ISBN 978-3-319-69231-9.
- Franks, Curtis (2023). "Propositional Logic". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Retrieved 22 January 2024.
- Brody, Boruch A. (2006). Encyclopedia of Philosophy. Vol. 5. Donald M. Borchert (2nd ed.). Thomson Gale/Macmillan Reference US. pp. 535–536. ISBN 978-0-02-865780-6. OCLC 61151356.
The two most important types of logical calculi are propositional (or sentential) calculi and functional (or predicate) calculi. A propositional calculus is a system containing propositional variables and connectives (some also contain propositional constants) but not individual or functional variables or constants. In the extended propositional calculus, quantifiers whose operator variables are propositional variables are added.
- McGrath, Matthew; Frank, Devin (2023). "Propositions". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Retrieved 22 January 2024.
- Plotkin, B. (6 December 2012). Universal Algebra, Algebraic Logic, and Databases. Springer Science & Business Media. ISBN 978-94-011-0820-1.
- Hintikka, Jaakko J. (2019). "Philosophy of logic". Encyclopædia Britannica. Archived from the original on 28 April 2015. Retrieved 21 November 2021.
- EoM Staff (2020b). "Algebraic logic". Encyclopedia of Mathematics. Springer. Retrieved 23 October 2023.
- Andréka, H.; Németi, I.; Sain, I. (2001). "Algebraic Logic". Handbook of Philosophical Logic. Springer Netherlands. ISBN 978-94-017-0452-6.
- Burris, Stanley; Legris, Javier (2021). "The Algebra of Logic Tradition". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Retrieved 22 January 2024.
- Halmos, Paul R. (1956). "The Basic Concepts of Algebraic Logic". The American Mathematical Monthly. 63 (6). doi:10.2307/2309396. ISSN 0002-9890.
- Edwards, C. H. (10 October 2012). Advanced Calculus of Several Variables. Courier Corporation. ISBN 978-0-486-13195-5.
- Kilty, Joel; McAllister, Alex (13 September 2018). Mathematical Modeling and Applied Calculus. Oxford University Press. ISBN 978-0-19-255813-8.
- Viterbo, Emanuele; Hong, Yi (4 May 2011). "3.4 Algebraic Number Theory". In Hlawatsch, Franz; Matz, Gerald (eds.). Wireless Communications Over Rapidly Time-Varying Channels. Academic Press. ISBN 978-0-08-092272-0.
- Jarvis, Frazer (23 June 2014). Algebraic Number Theory. Springer. ISBN 978-3-319-07545-7.
- Nakahara, Mikio (3 October 2018). Geometry, Topology and Physics. Taylor & Francis. ISBN 978-1-4200-5694-5.
- Rabadan, Raul; Blumberg, Andrew J. (19 December 2019). Topological Data Analysis for Genomics and Evolution: Topology in Biology. Cambridge University Press. ISBN 978-1-107-15954-9.
- Danilov, V. I. (15 December 2006). "II. Algebraic Varieties and Schemes". Algebraic Geometry I: Algebraic Curves, Algebraic Manifolds and Schemes. Springer Science & Business Media. ISBN 978-3-540-51995-9.
- Kleiner, Israel (20 September 2007). A History of Abstract Algebra. Springer Science & Business Media. ISBN 978-0-8176-4685-1.
- Mancosu, Paolo (1999). Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century. Oxford University Press. ISBN 978-0-19-513244-1.
- ^
- Mancosu 1999, pp. 84–85
- Kleiner 2007, p. 100
- Pratt 2022, § 5. Algebraization of mathematics
- ^
- Kleiner 2007, p. 100
- Pratt 2022, § 5. Algebraization of mathematics
- Maddocks 2008, p. 130
- ^
- Pratt 2022, § 5.1 Algebraic geometry
- Danilov 2006, pp. 172, 174
- ^
- Pratt 2022, § 5.3 Algebraic topology
- Rabadan & Blumberg 2019, pp. 49–50
- Nakahara 2018, p. 121
- Weisstein 2003, pp. 52–53
- ^
- Pratt 2022, § 5.2 Algebraic number theory
- Jarvis 2014, p. 1
- Viterbo & Hong 2011, p. 127
- ^
- Kilty & McAllister 2018, pp. x, 347, 589
- Edwards 2012, pp. ix–x
- ^
- ^ Hintikka 2019, lead section, § Nature and varieties of logic
- ^
- Halmos 1956, p. 363
- Burris & Legris 2021, § 1. Introduction
- ^ Andréka, Németi & Sain 2001, pp. 133–134
- ^
- EoM Staff 2020b, § Concrete algebraic logic
- Pratt 2022, § 5.4 Algebraic logic
- Plotkin 2012, pp. 155–156
- Jansana 2022, Lead Section
- ^ McGrath & Frank 2023, Lead Section
- ^
- Boschini, Hansen & Wolf 2022, p. 21
- Brody 2006, pp. 535–536
- Franks 2023, Lead Section
- ^
- EoM Staff 2020b, § Concrete algebraic logic
- Plotkin 2012, pp. 155–156
- Kachroo & Özbay 2018, pp. 176–177
- ^
- EoM Staff 2020b, § Abstract algebraic logic
- Jansana 2022, § 4. Algebras
- ^ Gardella & DeLucia 2020, pp. 19–22
- ^
- Arcavi, Drijvers & Stacey 2016, p. xiii
- Dekker & Dolk 2011, p. 69
- ^
- ^ Gardella & DeLucia 2020, pp. 19–22
- ^
- Arcavi, Drijvers & Stacey 2016, pp. 58–59
- Drijvers, Goddijn & Kindt 2011, p. 13
Cite error: There are <ref group=lower-alpha>
tags or {{efn}}
templates on this page, but the references will not show without a {{reflist|group=lower-alpha}}
template or {{notelist}}
template (see the help page).