| 查看: 319 | 回复: 1 | |||
| 当前主题已经存档。 | |||
[交流]
【讨论】'Want to be a computer scientist? Forget maths'
|
|||
|
引自： http://www.itwire.com/content/view/13339/53/ Want to be a computer scientist? Forget maths by Stuart Corner Thursday, 05 July 2007 Don't miss Roll your own Linux distro and Microsoft's latest: blame Oprah Winfrey A new book seeks to demolish the concept that computer science is rooted in mathematics and, in particular that the notion of the algorithm is fundamental to computer science. Featured Whitepaper In particular, he says the notion of the algorithm, "has been largely ineffective as a paradigm for computer science." Fant argues that, because mathematicians, notably John Von Neumann and Alan Turing, were intimately involved with the early development of digital electronic computers in the 1940s they transplanted a mathematical model of computation, including the algorithm - commonly understood to be an exact prescription, defining a computational process, leading from various initial data to the desired result - into the fledgling science of computers. He claims that "What is essentially a discipline of pure mathematics has come to be called "the theory of computer science," and "the notion of the algorithm has been decreed to be a fundamental paradigm of computer science" However, he says this mathematical perspective "is the wrong point of view" and is asking the wrong questions. "Mathematicians and computer scientists are pursuing fundamentally different aims, and the mathematician's tools are not as appropriate as was once supposed to the questions of the computer scientist. The primary questions of computer science are not of computational possibilities but of expressional possibilities. Computer science does not need a theory of computation; it needs a comprehensive theory of process expression." This concept of 'process expression' is, he says, a common thread running through the various disciplines of computer science. "A logic circuit is an expression of a logical process; an architecture is an expression of a continuously acting process to interpret symbolically expressed processes; a program is a symbolic expression of a process; a programming language is an environment within which to create symbolic process expression; a compiler is an expression of a process that translates between symbolic process expressions in different languages; an operating system is an expression of a process that manages the interpretation of other process expressions; any application is an expression of the application process." And, he argues, important process expressions do not qualify as algorithms. "A logic circuit is not a sequence of operations. An operating system is not supposed to terminate, nor does it yield a singular solution. An operating system cannot be deterministic because it must relate to uncoordinated inputs from the outside world. Any program utilising random input to carry out its process, such...is not an algorithm." "The notion of the algorithm," he concludes "simply does not provide conceptual enlightenment for the questions that most computer scientists are concerned with." Fant is the founder and CEO of Theseus Research, a consulting firm specialising in the design and implementation of real-time image processing systems as well as ongoing research into the theory of computers. "Computer Science Reconsidered: The Invocation Model of Process Expression" is published by John Wiley. {moscomment} |
回复此楼» 猜你喜欢
关于代码变化问题，想知道的进来
已经有14人回复
-
这样的filecode谁见过
已经有5人回复
-
国基金的申报应该改成非等额制，评价高的钱多评价低的钱少，但是增加资助率
已经有4人回复
-
售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急
已经有4人回复
-
售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急
已经有6人回复
-
fileCode有新解读？
已经有16人回复
-
售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急
已经有5人回复
-
售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急
已经有4人回复
-
售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急
已经有4人回复
-
售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急
已经有3人回复
2楼2009-10-22 12:39:09
100