Goto

Collaborating Authors

 Education


Man-Computer Symbiosis

Classics

Man-computer symbiosis is an expected development in cooperative interaction between men and electronic computers. It will involve very close coupling between the human and the electronic members of the partnership. The main aims are 1) to let computers facilitate formulative thinking as they now facilitate the solution of formulated problems, and 2) to enable men and computers to cooperate in making decisions and controlling complex situations without inflexible dependence on predetermined programs. In the anticipated symbiotic partnership, men will set the goals, formulate the hypotheses, determine the criteria, and perform the evaluations. Computing machines will do the routinizable work that must be done to prepare the way for insights and decisions in technical and scientific thinking. Preliminary analyses indicate that the symbiotic partnership will perform intellectual operations much more effectively than man alone can perform them. Prerequisites for the achievement of the effective, cooperative association include developments in computer time sharing, in memory components, in memory organization, in programming languages, and in input and output equipment. IRE Transactions on Human Factors in Electronics, HFE-1, pp 4-11. See also: ACM Digital Library citation: http://dl.acm.org/citation.cfm?id=612433.


Realization of a geometry theorem-proving machine

Classics

... the technique of heuristic programmingis under detailed investigation as a means to the end of applying largescaledigital computers to the solution of a difficult class of problems currentlyconsidered to be beyond their capabilities; namely those problemsthat seem to require the agent of human intelligence and ingenuity fortheir solution. It is difficult to characterize such problems further, except,perhaps, to remark rather vaguely that they generally involve complexdecision processes in a potentially infinite and uncontrollable environment.If, however, we should restrict the universe of problems to those thatamount to the discovery of a proof for a theorem in some well-definedformal system, then the distinguishing characteristics of those problems ofspecial interest to us are brought clearly into focus.Proceedings of an International Conference on Information Processing. Paris:UNESCO House, 273-282.


Dynamic Programming

Classics

The Dawn of Dynamic Programming Richard E. Bellman (1920–1984) is best known for the invention of dynamic programming in the 1950s. During his amazingly prolific career, based primarily at The University of Southern California, he published 39 books (several of which were reprinted by Dover, including Dynamic Programming, 42809-5, 2003) and 619 papers. Despite battling the crippling effects of a brain injury, he still published 100 papers during the last eleven years of his life. He was a frequent informal advisor to Dover during the 1960s and 1970s. Professor Bellman was awarded the IEEE Medal of Honor in 1979 "for contributions to decision processes and control system theory, particularly the creation and application of dynamic programming."