Impressive.
Did he really prove that,
or is it a shell game and I missed the sleight of hand?
[rhetorical question].
Is "name matching" in computing the metaphysical equivalent of "action at a distance" (or "entanglement") in Physics?
We know it works but can't really justify it?? [semi-rhetorical question]
Re the "railroad:"
Like many men my age, I grew up with toy trains and still pursue model railroading as a hobby. Of course I enjoy trains for the trains's sake. But the real railroads mainly care about moving freight or people for money.
Similarly with the "math" railroad.
We academicians enjoy the railroad for the railroad's sake,
but our customers (students) really only care about getting the "answers" to their real-world "problems".
So instead of putting Science (PHYS) at "the end of the track",
I'd like to carry it along with the train from the beginning.
P=play should involve the S as well as the M.
I would teach algebra as the formulation of physics,
along with the symbol-transformation game,
both manually and machine-aided.
And so on along whichever track you choose.
I'm not even convinced there is necessarily Y at the end.
A LOGO program is basically a finite "differential" equation,
and the path is it's initial-boundary-value integral.
If kids can understand LOGO, why do we wait until 4th semester college
to introduce differential equations?
I guess my point is, if you master the principles of mathematical reasoning,
and it's relationship to applications, you don't need to master all the individual mathematical areas or applications to be functionally educated. Just as, if I master the principles of programming, I don't need to learn all the programming languages to be able to do any programming job--I can learn any new language or paradigm if/when I need it.
[Although I admit convincing HR can often be a bigger challenge.]
Joe