Abstract
It is entirely justified to use the attribute digital in describing contemporary era due to omnipresence of digital technologies and devices based on them and their strong influence to almost all aspects of human activities. The present paper is a tribute to a man whose work in logic and mathematics, leading to the mathematical logic, set theoretical foundations for the development and establishing of digital era.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Boole, G.J.: Mathematical Analysis of Logic, being an Essay Towards a Calculus of Deductive Reasoning. Spring, London and Cambridge, 82 p. (1847). Reprinted in P. E. B. Jourdain, (ed.) George Boole’s Collected Logical Works, Vol. 1, Chicago and London 1916
Boole, G.J.: The calculus of logic. The Cambridge and Dublin Mathematical Journal, vol. 3, 183–198 (1848). Reprinted in P. E. B. Jourdain, (ed.) George Boole’s Collected Logical Works, Vol. 1, Chicago and London, 1916
Boole, G.J.: An Investigation of The Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities, v+iv+424 p. (1854). Reprinted in P.E.B. Jourdain (ed.) George Boole’s Collected Logical Works, Vol. 2, Chicago and London, 1916. Reprinted by Dover Publications, Inc., New York, USA, 1954
Corcoran, J.: Review of the Book G. C. SMITH, The Boole-De Morgan Correspondence 1842–1864, Oxford Logic Guides, Clarendon Press, Oxford University Press, Oxford and New York, vii+156 pp. (1982). History and Philosophy of Logic, Vol. 7, No. 1, 1986, 65–75
Corcoran, J.: Aristotle’s prior analytics and boole’s laws of thought. Hist. Philos. Logic 24, 261–288 (2003)
Couturat, L.: L’algebre de la logique, Gauthier-Villars collection Scientia, vol. 24, Paris 1905, 2nd edn., Paris 1914, 100 p.
De Morgan, A.: Formal Logic, or, The Calculus of Inference, Necessary and Probable, Taylor and Walton, London, November 1847
Ehrenfest, P.: Review of Couturat’s Algebra logiki, Zurnal Russkago Fiziko-hemičeskago Obščestva, Fizičeskij otdel, Otdel vtoroj, vol. 42, pp. 382–387 (1910)
Grattan-Guinness, I.: The correspondence between George Boole and StanleyJevons, 1863–1864. Hist. Philos. Logic 12(1), 15–35 (1991)
Hailperin, T.: Review of the book G. C. Smith, The Boole-De Morgan correspondence 1842–1864. Oxford logic guides. Clarendon Press, Oxford University Press, Oxford and New York 1982, vii+156 pp. The Journal of Symbolic Logic, Vol. 49, 1984, 657–659
Jongsma, C.: Review of the book G. C. Smith, The Boole-De Morgan correspondence 1842–1864. Oxford logic guides. Clarendon Press, Oxford University Press, Oxford and New York 1982, vii+156 pp. Historia Mathematica, Vol. 12, No. 2, 1985, 186–190
Jongsma, C.: Review of the book George Boole - His Life and Work by Desmond MacHale. ISIS 77(3), 544–545 (1986)
Lewis, C.I., Langford, C.H.: Symbolic Logic, New York, Century (1932). Reprinted, New York, Dover, 1959
MacHale, D.: George Boole – His Life and Work, (Profiles of Genius Series, 2), xiii+304 p. Boole Press, Dublin (1985). ISBN 0-906783-05-4
MacHale, D.: The Life and Work of George Boole: A Prelude to the Digital Age, Cork University Press (2014). ISBN-10 1782050043. ISBN-13 987-1782059949
MacHale, D., Cohen, Y.: New Light on George Boole. Attic Press Ltd. (2018). ISBN-10 1782052906, ISBN-13 978-1782052906
Nakashima, A.: Theory and practice of relay circuit engineering (Number five). Nichiden Geppo 12(4), 1–13 (1935)
Nakashima, A., Hanzawa, M.: Expansion theorem and design of twoterminal relay networks (Part 1). Nippon Electr. Commun. Eng. 24, 203–210 (1941)
Povarov, G.N.: Matrix methods of analyzing relay-contact networks in terms of the conditions of non-operation. Avtomatika i Telemekhanika 15(4), 332–335 (1954)
Shannon, C.E.: A symbolic analysis of relay and switching circuits, MSc thesis at MIT (1940)
Shannon, C.E.: A symbolic analysis of relay and switching circuits. Trans. Am. Inst. Electr. Eng. 57, 713–723 (1938)
Smith, G.C. (ed.): The Boole - De Morgan Correspondence, 1842–1864, vii+156 p. Oxford University Press (1982)
Stanković, R.S., Astola, J.T. (eds): Reprints from the Early days of Information Sciences - On the Contributions of Akira Nakashima to Swithching Theory, Tampere International Center for Signal Processing TICSP series # 40 (2008). ISBN 978-952-15-1980-2, ISSN 1456-2774. https://ethw.org/w/images/2/2f/Report-40.pdf
Stanković, R.S., Astola, J.T. (eds.): Reprints from the Early days of Information Sciences - Paul Ehrenfest - Remarks on algebra of Logic and Switching Theory, Tampere International Center for Signal Processing TICSP series # 54 (2010). ISBN978-952-15-2419-6, ISSN 1456-2774. https://ethw.org/w/images/f/f5/Report-54.pdf
Sestakov, V.I.: Some mathematical methods for construction and simplification of two-element electrical networks of class a, Ph.D. dissertation, Lomonosov State University, Moscow, Russia (1938)
Tarski, A.: Introduction to Logic and to the Methodology of Deductive Sciences, Translation by O. Helmer, New York 1941. Oxford University Press (1946)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Stanković, R.S., Stanković, M., Astola, J., Moraga, C. (2022). George J. Boole. In: Moreno-Díaz, R., Pichler, F., Quesada-Arencibia, A. (eds) Computer Aided Systems Theory – EUROCAST 2022. EUROCAST 2022. Lecture Notes in Computer Science, vol 13789. Springer, Cham. https://doi.org/10.1007/978-3-031-25312-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-031-25312-6_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-25311-9
Online ISBN: 978-3-031-25312-6
eBook Packages: Computer ScienceComputer Science (R0)