This month's topics:
Seki Takakazu (Seki Kowa). Image from Tensai no Eiko to Zasetsu by Masahiko Fujiwara (Shinchosha, Tokyo, 2002), used with permission. "Samurai Mathematician Set Japan Ablaze With Brief, Bright Light" is the title of a History of Science NewsFocus piece in the October 10 2008 Science. Dennis Normile reports from Tokyo, site of a history of mathematics conference last August dedicated to the memory of Seki Takakazu. Seki (c. 16421708, also Seki Kowa) was in fact born into a samurai family; his portrait includes the the two swords (daisho) attesting his warrior status. That he "set Japan ablaze" may be an overstatement, but the "bright light" is appropriate: Seki (an almost exact contemporary of Leibniz, but working in complete isolation from European mathematics) "devised new notation for handling equations with several variables and developed solutions for equations with an unknown raised to the fifth power." Furthermore, according to Normile, "His most significant work focused on determinants ... , a field he pioneered a year or two ahead of ... Leibniz." The word "brief" is, unfortunately, also correct. Seki was ahead of his time, and soon after his death, even though his works were gathered and preserved by his students, "the Japanese mathematical tradition hit a dead end." Normile quotes the science historian Hikosaburo Komatsu: Seki's more erudite work "was too difficult for people to pick up and carry forward." Only now are his most innovative contributions being recognized. Namely, his "discovery around the year 1680 of a general theory of elimination, a method of solving simultaneous equations by whittling down the number of unknown quantities one by one." According to Komatsu, the work had been overlooked because it led to calculations "almost beyond human capabilities." The diagonalization of physics Cantor's diagonal argument occurs in his (second, 1891) proof of the uncountability of the real numbers. As Wikipedia tells us, "it demonstrates a powerful and general technique, which has since been reused many times in a wide range of proofs, also known as diagonal arguments ... The most famous examples are perhaps Russell's paradox, the first of Gödel's incompleteness theorems, and Turing's answer to the [Halting Problem]." Now this technique has been extended to the real world, or at least to our understanding of it. Philippe Binder reports in a Philosophy of Science News & Views piece in Nature (October 16, 2008) on work of the physicist/generalist David Wolpert published earlier this year (Physica D 237 12571281). According to Binder, Wolpert has demonstrated "that the entire physical Universe cannot be fully understood by any single inference system that exists within it." How does he get there? In Binder's telling, Wolpert "introduces the idea of inference machines  physical devices that may or may not involve human input  that can measure data and perform computations, and that model how we come to understand and predict nature." These machines process U, "the space of all worldlines (sequences of events) in the Universe that are consistent with the laws of physics." Wolpert defines strong inference as "the ability of one machine to predict the total conclusion function of another machine for all possible setups." And then he uses diagonalization to prove:
"The two statements together imply that, at best, there can be only a 'theory of almost everything'." Binder goes on to give some smallerscale possible instantiations of the phenomenon.
MathFest 2008 was held from July 31 to August 2 in Madison, Wisconsin. Barry Cipra was on hand and reported on items of general interest in the September 5 2008 issue of Science. Among his selections:
The densest arrangement of 5 equal circles on the triangular torus covers 71.1% of the area. Images courtesy of William Dickinson. Another student (Sandi Xhumari) solved the problem for 6 circles this summer. "Together, the ideas they developed enabled Dickinson to nail down the densest packing for five circles on the square torus."
Math meets the campaign ad on YouTube
Click to watch "The Thinking Man," created by R. Larkin Clarke. This may amuse or infuriate you, but it does seem to involve some kind of mathematics. Thanks to Jonathan Farley for the timely link. Tony Phillips 
Comments: Email Webmaster 
© Copyright
, American Mathematical Society

