×

From Boolean algebra to unified algebra. (English) Zbl 1053.06009

Summary: Boolean algebra is simpler than number algebra, with applications in programming, circuit design, law, specifications, mathematical proof and reasoning in any domain. So why is number algebra taught in primary school and used routinely by scientists, engineers, economists, and the general public, while Boolean algebra is not taught until university, and not routinely used by anyone? A large part of the answer may be in the terminology and symbols used, and in the explanations of Boolean algebra found in textbooks. This paper points out some of the problems delaying the acceptance and use of Boolean algebra, and suggests some solutions.

MSC:

06E05 Structure theory of Boolean algebras
97D30 Objectives and goals of mathematics teaching
97D20 Philosophical and theoretical contributions (didactics of mathematics)

Keywords:

Boolean algebra

Software:

Z; CalcCheck
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Unfortunately, 500-year-old algebra texts are hard to find. This is not a quotation, but my own creation. I think it is representative of the work of the time, such as [20].
[2] Allen, L. E., Symbolic Logic: a Razor-Edged Tool for Drafting and Interpreting Legal Documents, Yale Law Journal, 66, 833-879 (1957) · doi:10.2307/794073
[3] Back, R.; Grundy, J.; von Wright, J., Structured Calculational Proof, Formal Aspects of Computing, 9, 5, 469-483 (1997) · Zbl 0905.68139 · doi:10.1007/BF01211456
[4] Bochenski, J. M.; Ivo, Thomas, A History of Formal Logic (1970), New York: Chelsea Publishing, New York · Zbl 0235.02004
[5] G. Boole:An Investigation of the Laws of Thought, on which are founded the Mathematical Theories of Logic and Probabilities, MacMillan, 1854, reprinted by Dover, 1973. · Zbl 1205.03003
[6] Boute, R., Binary Algebra and Functional Predicate Calculus: a Practical Approach (1999), Belgium: University of Ghent, Belgium
[7] A. Church: “The Calculi of Lambda-Conversion”,Annals of Mathematical Studies v. 6, Princeton University Press, 1941. · Zbl 0026.24205
[8] E.W. Dijkstra, C.S.Scholten:Predicate Calculus and Program Semantics, Springer-Verlag, 1990. · Zbl 0698.68011
[9] R.L. Goodstein:Development of Mathematical Logic, Springer-Verlag, 1971.
[10] Gries, D., Improving the Curriculum through the teaching of Calculation and Discrimination, Communications of the ACM, 34, 3, 45-55 (1991) · doi:10.1145/102868.102870
[11] D. Gries, F.B. Schneider:A Logical Approach to Discrete Math, Springer-Verlag, 1993. · Zbl 0861.03001
[12] P. Halmos, S. Givant:Logic as Algebra, Mathematical Association of America, 1998. · Zbl 1053.03001
[13] E.C.R. Hehner: “Beautifying Gödel”, chapter 18 inBeauty is our Business, a birthday tribute to Edsger Dijkstra, Springer-Verlag, 1990.
[14] E.C.R. Hehner:A Practical Theory of Programming, Springer-Verlag 1993. The second edition, 2004, is at www.cs.toronto.edu/ hehner/aPToP · Zbl 0793.68002
[15] E.C.R. Hehner: “Unified Algebra”, www.cs.toronto.edu/ hehner/UA.pdf. · Zbl 1053.06009
[16] I.N. Herstein:Topics in Algebra p.323, Blaisdell, 1964.
[17] R.H. Katz:Contemporary Logic Design, Benjamin Cummings, 1994, p.10.
[18] Lamport, L., How to Write a Proof, American Mathematical Monthly, 102, 7, 600-608 (1995) · Zbl 0877.00005 · doi:10.2307/2974556
[19] J. Lukasiewicz: “On the History of the Logic of Propositions”,Selected Works, citing Sextus Empiricus inAdversus Mathematicos, circa 200.
[20] C. Navarre: quoted in Barbara W. Tuchman:A Distant Mirror: the Calamitous Fourteenth Century, Knopf, 1978.
[21] Recorde, R., The Whetstone of Witte (1969), Amsterdam: Da Capo Press, Amsterdam
[22] Robinson, P. J.; Staples, J., Formalizing a Hierarchical Structure of Practical Mathematical Reasoning, Journal of Logic and Computation, 3, 1, 47-61 (1993) · Zbl 0779.68078 · doi:10.1093/logcom/3.1.47
[23] Rosser, J. B., Highlights of the History of the Lambda-Calculus, Annals of the History of Computing, 6, 4, 337-349 (1984) · Zbl 0998.01530 · doi:10.1109/MAHC.1984.10040
[24] J.L.A. van de Snepscheut:What Computing is All About, Springer-Verlag, 1993. · Zbl 0817.68006
[25] J.M. Spivey:The Z Notation: a Reference Manual, Prentice-Hall, 1989. · Zbl 0777.68003
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.