Categories
Tags
Category Archives: Quotes
Dijkstra on elegance in programming
“programmers should not be puzzle-minded …. We would be much better served by clean, systematic minds, with a sense of elegance.” — Dijkstra (In interview as reported in CACM)
Posted in Quotes
Leave a comment
Milner on science and language
“[Languages] should be treated as a part of a modelling theory. Up to now I don’t think we had sufficient incentive to make sure that our languages are close to scientific models. It’s only with the onset of computation as … Continue reading
Posted in Quotes
Leave a comment
Poincare on the necessity of hypothesis
“I consider a priori a law… Without this belief, … interpolation would be impossible; no law could be deduced from a finite number of observations; science would not exist.” — Poincare (1913, p. 170)
Posted in Quotes
Leave a comment
Carnap on the challenge of interdisciplinary research
“If one is interested in the relations between fields which, according to customary academic divisions, belong to different departments, then he will not be welcomed as a builder of bridges, as he might have expected, but will rather be regarded … Continue reading
Posted in Quotes
Leave a comment
Abelson, Sussman, and Sussman: programming languages are for humans
“programs must be written for people to read, and only incidentally for machines to execute” — Abelson, Sussman, and Sussman (1996)
Posted in Quotes
Leave a comment
Strunk and White on colons, commas, semicolons, dashes, and parentheses
“The colon has more effect than the comma, less power to separate than the semicolon, and more formality than the dash.” “A dash is a mark of separation stronger than the comma, less formal than a colon, and more relaxed … Continue reading
Posted in Quotes
Leave a comment
Poincare on lazy thinking
“To doubt everything and to believe everything are two equally convenient solutions; each saves us from thinking.” — Poincare (1913, p. 27)
Posted in Quotes
Leave a comment
Buckminster Fuller: there is no such thing as artificial sweetener
“All the chemist can do is to find out what Nature permits, and any substances that are thus developed or discovered are inherently natural. It is very important to remember that.” — Buckminster Fuller (1963, p. 76)
Posted in Quotes
Leave a comment
Andrews on the irrelevancy of numbers in mathematics
“To the unsophisticated observer of mathematics, it may appear that the use of numbers is the critical characteristic of disciplines which use mathematics, and that one can thus make a discipline more scientific by involving numbers in it more deeply. … Continue reading
Posted in Quotes
Leave a comment
Martin-Löf says mathematics is informal
“Our main aim is to build up a system of formal rules representing in the best possible way informal (mathematical) reasoning.” — Martin-Löf (1984, p. 4)
Posted in Quotes
Leave a comment