7 September 2004

the mathematical logic of blenvy

Some posts immediately cause a deep and abiding sense of bloggers' envy. be warned. Notebooks on mathematical logic is one such post.

Our outsider would, of course, have been wrong. Mathematical logic was the inspiration for perhaps only half of twentieth-century philosohpy (that is, of honest philosophy; by volume, as Kolakowski says, Stalin was the century's most influential philosopher); many of our finest mathematicians, such as Norbert Wiener, John von Neumann and Andrei Kolmogorov cut their teeth on it, and notation (and notions) which began in the obscurities of Peirce and Peano are now to be found in every undergraduate math book. True, some early application --- one thinks particularly of Woodger's axiomatization of biology --- have, perhaps unfairly, gone nowhere, and McCulloch and Pitt's "A Logical Calculus of the Ideas Immanent in Nervous Activity" is more important for launching neural nets upon the world than for using Carnap's formalism. But in one extremely important field, however, it reigns supreme, and that is computation. Programming is, simply, mathematiucal logic in action; the melding of theory and practice is so complete that most practioners have no idea that their speech --- recursion, lexical scope, data abstraction, even those banes of C novices, pointers, referencing and dereferncing --- is prose. (Speaking of speech, Chomsky of course began as a logican, and his early work (air force and navy supported!) on formal languages is as much a part of logic as it is of linguistics or the theory of computation.) Of course, some of the computer's intellectual roots were more obviously useful --- but since these were the study of Brownian motion, and the physics of crystals and spectral lines, not much. (Its practical origins were military needs and vast quantities of government subsidies, which continue, but let's not disturb the myths about private enterprise any more than we must.)


No comments: