4 ms·
No mention of Hoare triples, predicate transformers, loop invariants, or any of the other formal machinery that was discovered 50 years ago and thoroughly solve
by User23 7y ago
No mention of Hoare triples, predicate transformers, loop invariants, or any of the other formal machinery that was discovered 50 years ago and thoroughly solves the problem. The author means well, but this is completely uninformative.
Dijkstra was trained as a Mathematical Engineer for example. Fact is, if astronomers had the mindset of most programmers, they'd call their field Telescope Science.
- xtracerx 7y agoThat analogy would only make sense if you built the universe inside the telescope.
- pmiller2 7y agoNo: telescopes are tools to study the universe, just as computers are tools for studying computation.
- ineedasername 7y agoI don't look at computers as tools for studying computation. Instead, they are tools for performing computation.
- ves 7y agoperhaps performing computations is to studying computation as observing the universe through a telescope is to studying it.
- vageli 7y ago> perhaps performing computations is to studying computation as observing the universe through a telescope is to studying it. This is an interesting thought, but the two seem fundamentally different in nature (active vs passive).
- ineedasername 7y agoYes, and to a certain extent, you can study computation without a digital computer. Computation can be abstracted away from the devices that perform it. You can, for example, study Big O notation and theoretical computational complexity of algorithms without actually using a computer.
- jamessb 7y ago"A scientist builds in order to learn; an engineer learns in order to build." - Fred Brooks
- phaemon 7y agoI've heard this analogy several times, but I've never met an astronomer who didn't know how a telescope works.
- kgwgk 7y ago> Dijkstra was trained as a Mathematical Engineer for example. "Mathematical engineering" looks like a modern invention. In any case, his undergraduate degree was in physics.
- User23 7y agoDijkstra appears to have thought otherwise: "I worked at the time at the Department of Mathematics of the Eindhoven University of Technology in the Netherlands, and told at that conference that the official academic title our graduates earned was 'Mathematical Engineer', and most of the Americans began to laugh, because for them it sounded as a contradiction in terms, mathematics being sophisticated and unpractical, engineering being straightforward and practical."[1] Before quibbling, note I said he was trained as a Mathematical Engineer, not that he had a degree in Mathematical Engineering. [1] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD11xx/EWD1175.html https://www.cs.utexas.edu/users/EWD/transcriptions/EWD11xx/E...
- kgwgk 7y agoNot so modern an invention then. Thanks for the pointer. (Anyway, participating in the training of "mathematical engineers" and being trained as one are not necessarily the same thing.)