Quote: Original post by Timkin
Some responses to recent comments...
Original post by DaeraxQuote:
I do not agree with that. Perhaps there would have been stalls and things might have ended up with slightly different notations like in say complexity theory, perhaps a different way of doing probabilities but I am certain that no one man has had so much impact since Aristotle. There were simply too many people approaching the notion of computing from many angles including off the top of my head: Russell, Church, Haskell Curry, McCarthy, Turing, von neuman, John backus...
Most of what arose in western engineering (particularly telecommunications and control) and subsequently computing from the 40s onward was based directly on the understanding of stochastic processes developed by the Russian-Germanic alliance of the late 19th and early 20th century. Generally speaking, western scientists and mathematicians were simply no where near the level needed to create this understanding. There is countless evidence of advances in western engineering and computing being directly based on Russian publications, or on Western scientists having spent time with their foreign counterparts, bringing back the knowledge with them.
During the latter half of the 19th century and into the 20th, there is a single strong thread of Russian mathematicians, predominantly coming from the same school at Moscow State University. The mathematics group there was pivotal to the developments of the time. Everything that came later in this area can be shown to have grown from the knowledge developed by this one group. Kolmogorov was one of those who stood out from the crowd, hence my selection of him.
I could provide examples of the direct links and the basis of my opinion if anyone is particularly interested, but I'd end up waffling on for ages, hence the omission from this post! ;)
Cheers,
Timkin
I do not not want to pollute this thread though it seems to have run a course. I do quite enjoy the history of mathematics.
I am not disagreeing that Kolmogorov played an important role, mainly that his role was pivotal. Things would have happened anyway since there was so much going on. In the area of control and telecommunications there is no doubt his role was greater but not as directly into Computing. With the exceptions of his contributions to intuitionistic logic, a branch of constructivism which people are just now noticing computer science is basically a branch of I do not see much direct influence. The current computer science is a child of early 20th century obsessoins with formalism and rigour propelled by Weiserstrass an overeaction to the poor proofs of the time. Type theory so important now - including for verification of hardware, software and for automated provers - is older than the turing machine.
In terms of giants Turing (british), Shannon (american) and Von Neuman (hungary) have most influence modern computer hardware and design. In software the legacy starts with Peano (italy) and Frege (germany). The names and location attributions are of the top of my head so i cannot gurantee spellings and exact locations.
I would be interested in the sources which state that much of modern computer technology is based in any one place.