One Path to SML

Never knowing what is the right time for a path to present itself, I think I am back on the path to SML again. This time I got some more feedback and wanted to capture it here.
Various feedback:

We’ll see what is my cup of tea.

DIagrams Through Ascii Art

ditaa is a small command-line utility written in Java, that can convert diagrams drawn using ascii art (‘drawings’ that contain characters that resemble lines like | / – ), into proper bitmap graphics.

You have to see it to believe. For you text-heads out there, yet another great tool for us!

Mathematical Logic Win

We are on a mini-weekend-vacation, having a great time, break bread at a great locally owned sushi restaurant, head out and stop at a half-priced-books, only to find a book that I already had on my list, brand new, great price… awesome! ðŸ™‚

On Computing

Computing is very poorly understood. Case in point here is the litmus test I would argue to you that:
In North America you can pull any 18 year old randomly off the street and ask them to do something and it would go like this:
1. Can you build a basic bridge between a 3ft span given some materials?
2. Can you build a basic drainage system given some materials?
3. Can you organize a group of 5 people to perform a non trivial but paralleled task?
4. Can you prepare a soup like chili given materials?
5. Can you write down the computational logic to show the fibonacci sequence (given an explanation of the sequence itself)?
What percentage would you say that we pull 1000 people and given them this test? What percentage could successfully do each?
You know where I am going with this.
100% can do 1-4 and 0.01% could do 5.
There is a deep, deep lack of awareness about computation.
The problem with computation and titles around it are that very people ever think about what it is that we truly do, and often times the ones that do are relegated to the backroom. Case in point. SICP is no longer part of MIT entry program because it is too far “out there”. Kind of sad, that is part of the mystery, and the fun, what we are doing and what we can do specifically on computers, is, something that no one in history has been able to do before. We can execute things now that people have only dreamed of, computers are truly without limit. I found this special:

Some Thoughts on Mathematics

R. L. E. Schwarzenberger, The Language of Geometry, in A Mathematical Spectrum Miscellany, Applied Probability Trust, 2000, p. 112: My own attitude, which I share with many of my colleagues, is simply that mathematics is a language. Like English, or Latin, or Chinese, there are certain concepts for which mathematics is particularly well suited: it would be as foolish to attempt to write a love poem in the language of mathematics as to prove the Fundamental Theorem of Algebra using the English language.
Yu. Manin, Mathematics as profession and vocation, in Mathematics: Frontiers and Perspectives, (V. Arnold et al, ed), AMS, 200, p. 154: The basis of all human culture is language, and mathematics is a special kind of linguistic activity.
A. Adler, Mathematics and Creativity, in The World Treasury of Physics, Astronomy and Mathematics, (T. Ferris, ed), Little, Brown and Co, 1991, p. 435: Mathematics is pure language – the language of science. It is unique among languages in its ability to provide precise expression for every thought or concept that can be formulated in its terms. (In a spoken language, there exist words, like “happiness”, that defy definition.) It is also an art – the most intellectual and classical of the arts.
J.-P. Changeux, A. Connes, Conversations on Mind, Matter and Mathematics, Princeton University Press, 1995, p. 10:
Changeux: Mathematical language is plainly an authentic language. But is it therefore the only authentic language?
Connes: It is unquestionably the only universal language.
Bertrand Russell (1872-1970), Autobiography, George Allen and Unwin Ltd, 1967, v1, p158
It seems to me now that mathematics is capable of an artistic excellence as great as that of any music, perhaps greater; not because the pleasure it gives (although very pure) is comparable, either in intensity or in the number of people who feel it, to that of music, but because it gives in absolute perfection that combination, characteristic of great art, of godlike freedom, with the sense of inevitable destiny; because, in fact, it constructs an ideal world where everything is perfect but true.
Bertrand Russell (1872-1970), The Study of Mathematics
Mathematics, rightly viewed, possesses not only truth, but supreme beauty — a beauty cold and austere, like that of sculpture, without appeal to any part of our weaker nature, without the gorgeous trappings of painting or music, yet sublimely pure, and capable of a stern perfection such as only the greatest art can show.
Aristotle (384 B.C.-322 B.C.), Poetics
Beauty depends on size as well as symmetry.
J.H.Poincare (1854-1912), (cited in H.E.Huntley, The Divine Proportion, Dover, 1970)
The mathematician does not study pure mathematics because it is useful; he studies it because he delights in it and he delights in it because it is beautiful.
J.Bronowski, Science and Human Values, Pelican, 1964.
Mathematics in this sense is a form of poetry, which has the same relation to the prose of practical mathematics as poetry has to prose in any other language. The element of poetry, the delight of exploring the medium for its own sake, is an essential ingredient in the creative process.
J.W.N.Sullivan (1886-1937), Aspects of Science, 1925.
Mathematics, as much as music or any other art, is one of the means by which we rise to a complete self-consciousness. The significance of Mathematics resides precisely in the fact that it is an art; by informing us of the nature of our own minds it informs us of much that depends on our minds.
G. H. Hardy (1877 – 1947), A Mathematician’s Apology, Cambridge University Press, 1994.
The mathematician’s patterns, like the painter’s or the poet’s must be beautiful; the ideas, like the colors or the words must fit together in a harmonious way. Beauty is the first test: there is no permanent place in this world for ugly mathematics.
Lawrence University catalog, Cited in Essays in Humanistic Mathematics, Alvin White, ed, MAA, 1993
Born of man’s primitive urge to seek order in his world, mathematics is an ever-evolving language for the study of structure and pattern. Grounded in and renewed by physical reality, mathematics rises through sheer intellectual curiosity to levels of abstraction and generality where unexpected, beautiful, and often extremely useful connections and patterns emerge. Mathematics is the natural home of both abstract thought and the laws of nature. It is at once pure logic and creative art.
I.Newton, Letter to H.Oldenburg, the Secretary of the Royal Society, October 24, 1676, in A Source Book in Mathematics, D. J. Struik, ed, Princeton University Press, 1990
I can hardly tell with what pleasure I have read the letters of those very distinguished men Leibniz and Tschirnhaus. Leibniz’s method for obtaining convergent series is certainly very elegant…
Jane Muir, Of Men & Numbers, Dover, 1996.
Gauss: You have no idea how much poetry there is in the calculation of a table of logarithms!
F.Dyson, in Nature, March 10, 1956
Characteristic of Weyl was an aesthetic sense which dominated his thinking on all subjects. He once said to me, half-joking, “My work always tried to unite the true with the beautiful; but when I had to choose one or the other, I usually chose the beautiful.” (Herman Weyl (1885-1955))
O. Spengler, in J. Newman, The World of Mathematics, Simon & Schuster, 1956
To Goethe again we owe the profound saying: “the mathematician is only complete in so far as he feels within himself the beauty of the true.”
O. Spengler, in J. Newman, The World of Mathematics, Simon & Schuster, 1956
“A mathematician,” said old Weierstrass, “who is not at the same time a bit of a poet will never be a full mathematician.”
Jakob Bernoulli, Tractatus de Seriebus Infinitis, 1689 (quoted in From Five Fingers to Infinity, F.J.Swetz (ed), Open Court, 1996)
So the soul of immensity dwells in minutia.
And in narrowest limits no limits inhere.
What joy to discern the minute in infinity!
The vast to perceive in the small, what divinity!
S.Lang, The Beauty of Doing Mathematics, Springer-Verlag, 1985
Last time, I asked: “What does mathematics mean to you?” And some people answered: “The manipulation of numbers, the manipulation of structures.” And if I had asked what music means to you, would you have answered: “The manipulation of notes?”