scispace - formally typeset
Open AccessJournal ArticleDOI

Notation as a tool of thought

Kenneth E. Iverson
- 01 Aug 1980 - 
- Vol. 23, Iss: 8, pp 444-465
TLDR
The importance of nomenclature, notation, and language as tools of thought has long been recognized and did much to stimulate and to channel later investigation in chemistry and in botany.
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.

read more

Content maybe subject to copyright    Report

Citations
More filters
BookDOI

User Interface Management Systems

G. E. Pfaff
TL;DR: In this paper, the authors proposed a DEVICE-DEVICE DEVC DEVICE DEVICE (Device-Device-Device Discrete Controller) for autonomous driving systems and demonstrated its performance.
Journal ArticleDOI

An Operational Approach to Requirements Specification for Embedded Systems

TL;DR: The approach to requirements specification for embedded systems described in this paper is called "operational" because a requirements specification is an executable model of the proposed system interacting with its environment, embodied by the language PAISLey, which is motivated and defined herein.
Journal ArticleDOI

Brain abscesses in neonates. A study of 30 cases

TL;DR: The absence of initial seizures, sterile cerebrospinal fluid, normal ventricles on CT scans, and early aspiration of the abscess seem to be factors portending a better prognosis in terms of epilepsy and mental sequelae.
References
More filters
Book

Mathematical analysis

Book

A Programming Language

TL;DR: The paper describes a succinct problem-oriented programming language that relies heavily on a systematic extension of a small set of basic operations to vectors, matrices, and trees, and on a family of flexible selection operations controlled by logical vectors.
Journal ArticleDOI

Summation of series