article

Notation as a tool of thought

Author:

Kenneth E. IversonAuthors Info & Claims

ACM SIGAPL APL Quote Quad, Volume 35, Issue 1-2

Pages 2 - 31

https://doi.org/10.1145/1234321.1234322

Published: 01 March 2007 Publication History

Abstract

The importance of nomenclature, notation, and language as tools of thought has long been recognized. In chemistry and in botany, for example, the establishment of systems of nomenclature by Lavoisier and Linnaeus did much to stimulate and to channel later investigation. Concerning language, George Boole in his Laws of Thought [1, p.21] asserted "That language is an instrument of human reason, and not merely a medium for the expression of thought, is a truth generally admitted.

References

[1]

Boole, G. An Investigation of the Laws of Thought, Dover Publications, N.Y., 1951. Originally published in 1954 by Walton and Maberly, London and by MacMillan and Co., Cambridge. Also available in Volume II of the Collected Logical Works of George Boole, Open Court Publishing Co., La Salle, Illinois, 1916.

Digital Library

[2]

Cajori, F. A History of Mathematical Notations, Volume If, Open Court Publishing Co., La Salle, Illinois, 1929.

[3]

Falkoff, A. D., and Iverson, K. E. The Evolution of APL, Proceedings of a Conference on the History of Programming Languages, ACM SIGPLAN, 1978.

Digital Library

[4]

APL Language, Form No. GC26-3847-4, IBM Corporation.

[5]

Iverson, K. E. Elementary Analysis, APL Press, Pleasantville, N.Y., 1976.

[6]

Iverson, K. E. Algebra: an algorithmic treatment, APL Press, Pleasantville, N.Y., 1972.

[7]

Kerner, I. O. Ein Gesamtschrittverfahren zur Berechnung der Nullstellen von Polynomen, Numerische Mathematik, Vol. 8, 1966, pp. 290--294.

Digital Library

[8]

Beckenbach, E. F., ed. Applied Combinatorial Mathematics, John Wiley and Sons, New York, N.Y., 1964.

[9]

Tarjan, R. E, Testing Flow Graph Reducibility, Journal of Computer and Systems Sciences. Vol. 9 No. 3, Dec. 1974.

Digital Library

[10]

Spence, R. Resistive Circuit Theory, APL Press, Pleasantville, N.Y., 1972.

[11]

Iverson, K. E. A Programming Language. John Wiley and Sons, New York, N.Y., 1962.

Digital Library

[12]

Iverson, K. E. An Introduction to APL for Scientists and Engineers, APL Press, Pleasantville, N.Y.

Digital Library

[13]

Orth, D. L. Calculus in a new key, APL Press, Pleasantville, N.Y., 1976.

[14]

Apostol, T. M. Mathematical Analysis, Addison Wesley Publishing Co., Reading, Mass., 1957.

[15]

Jolley, L. B. W. Summation of Series, Dover Publications, N.Y. i

[16]

Oldham, K. B., and Spanier, J. The Fractional Calculus, Academic Press, N.Y., 1974.

[17]

APL Quote Quad, Vol. 9, No. 4, June 1979, ACM STAPL.

[18]

Iverson, K. E., Operators and Functions, IBM Research Report RC 7091, 1978.

[19]

McDonnell, E. E., A Notation for the GCD and LCM Functions, APL 75, Proceedings of an APL Conference, ACM, 1975.

Digital Library

[20]

Iverson, K. E., Operators, ACM Transactions on Programming Languages And Systems, October 1979.

Digital Library

[21]

Blaauw, G. A., Digital System Implementation, Prentice-Hall, Englewood Cliffs, N.J., 1976.

Digital Library

[22]

McIntyre, D. B., The Architectural Elegance of Crystals Made Clear by APL, An APL Users Meeting, I.P. Sharp Associates, Toronto, Canada, 1978.

Cited By

Ashfaq MHuang ROmari M(2020)FSCS-SIMD: An efficient implementation of Fixed-Size-Candidate-Set adaptive random testing using SIMD instructions2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE5003.2020.00034(277-288)Online publication date: Oct-2020
https://doi.org/10.1109/ISSRE5003.2020.00034
Armitage JMcPherson A(2019)Bricolage in a hybrid digital lutherie contextProceedings of the 14th International Audio Mostly Conference: A Journey in Sound10.1145/3356590.3356604(82-89)Online publication date: 18-Sep-2019
https://dl.acm.org/doi/10.1145/3356590.3356604
Flanders WGarber M(2019)Is the Smog Lifting?Epidemiology10.1097/EDE.000000000000098630:3(317-320)Online publication date: May-2019
https://doi.org/10.1097/EDE.0000000000000986
Show More Cited By

Recommendations

Notation as a tool of thought
Notation as a tool of thought
ACM Turing award lectures
APL since 1978

The Evolution of APL, the HOPL I paper by Falkoff and Iverson on APL, recounted the fundamental design principles which shaped the implementation of the APL language in 1966, and the early uses and other influences which shaped its first decade of ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGAPL APL Quote Quad

ACM SIGAPL APL Quote Quad Volume 35, Issue 1-2

In honor of Kenneth E. Iverson

March, June 2007

66 pages

ISSN:0163-6006

DOI:10.1145/1234321

Issue’s Table of Contents

Copyright © 2007 Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 2007

Published in SIGAPL Volume 35, Issue 1-2

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
743
Total Downloads

Downloads (Last 12 months)6
Downloads (Last 6 weeks)0

Reflects downloads up to 29 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Ashfaq MHuang ROmari M(2020)FSCS-SIMD: An efficient implementation of Fixed-Size-Candidate-Set adaptive random testing using SIMD instructions2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE5003.2020.00034(277-288)Online publication date: Oct-2020
https://doi.org/10.1109/ISSRE5003.2020.00034
Armitage JMcPherson A(2019)Bricolage in a hybrid digital lutherie contextProceedings of the 14th International Audio Mostly Conference: A Journey in Sound10.1145/3356590.3356604(82-89)Online publication date: 18-Sep-2019
https://dl.acm.org/doi/10.1145/3356590.3356604
Flanders WGarber M(2019)Is the Smog Lifting?Epidemiology10.1097/EDE.000000000000098630:3(317-320)Online publication date: May-2019
https://doi.org/10.1097/EDE.0000000000000986
Honorato-Zimmer RMillar APlotkin GZardilis A(2018)Chromar, a Rule-based Language of Parameterised ObjectsElectronic Notes in Theoretical Computer Science10.1016/j.entcs.2018.03.008335(49-66)Online publication date: Apr-2018
https://doi.org/10.1016/j.entcs.2018.03.008
Burroni J(2017)The Act of Computer Programming in ScienceCompanion Proceedings of the 1st International Conference on the Art, Science, and Engineering of Programming10.1145/3079368.3079409(1-8)Online publication date: 3-Apr-2017
https://dl.acm.org/doi/10.1145/3079368.3079409
Honorato-Zimmer RMillar APlotkin GZardilis A(2017)Chromar, a language of parameterised agentsTheoretical Computer Science10.1016/j.tcs.2017.07.034Online publication date: Aug-2017
https://doi.org/10.1016/j.tcs.2017.07.034
Penkler DFeeley MVerna D(2014)An Array and List Processing SystemProceedings of ILC 2014 on 8th International Lisp Conference10.1145/2635648.2635658(22-30)Online publication date: 14-Aug-2014
https://dl.acm.org/doi/10.1145/2635648.2635658
Sawadsitang SSuankaewmanee KKuo SBhumiratana B(2012)Interactive computer-aided code vectorization2012 Ninth International Conference on Computer Science and Software Engineering (JCSSE)10.1109/JCSSE.2012.6261981(368-372)Online publication date: May-2012
https://doi.org/10.1109/JCSSE.2012.6261981
Orchard DHirschfeld RVisser E(2011)The four Rs of programming language designProceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software10.1145/2089131.2089138(157-162)Online publication date: 22-Oct-2011
https://dl.acm.org/doi/10.1145/2089131.2089138
Bernareggi C(2010)Non-sequential mathematical notations in the LAMBDA systemProceedings of the 12th international conference on Computers helping people with special needs10.5555/1880751.1880818(389-395)Online publication date: 14-Jul-2010
https://dl.acm.org/doi/10.5555/1880751.1880818
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Issue’s Table of Contents