102,807
edits
Changes
From Nordan Symposia
Jump to navigationJump to search→Major achievements
;Applications within computer science
;Applications within computer science
* A formal definition of [[computation]] and [[computability]], and proof that there are computationally [[halting problem|unsolvable]] and [[Intractable#Intractability|intractable]] problems<ref>{{cite paper | author=Constable, R.L. | date=March 2000 | url=http://www.cs.cornell.edu/cis-dean/bgu.pdf | title=Computer Science: Achievements and Challenges circa 2000}}</ref>.
* A formal definition of [[computation]] and [[computability]], and proof that there are computationally [[halting problem|unsolvable]] and [[Intractable#Intractability|intractable]] problems [http://www.cs.cornell.edu/cis-dean/bgu.pdf] Computer Science: Achievements and Challenges circa 2000}}</ref>.
* The concept of a [[programming language]], a tool for the precise expression of methodological information at various levels of abstractionStructure and Interpretation of Computer Programs, MIT Press, ISBN 0-262-01153-0
* The concept of a [[programming language]], a tool for the precise expression of methodological information at various levels of abstraction, Structure and Interpretation of Computer Programs, MIT Press, ISBN 0-262-01153-0
"The computer revolution is a revolution in the way we think and in the way we express what we think. The essence of this change is the emergence of what might best be called ''procedural epistemology'' — the study of the structure of knowledge from an imperative point of view, as opposed to the more declarative point of view taken by classical mathematical subjects.
"The computer revolution is a revolution in the way we think and in the way we express what we think. The essence of this change is the emergence of what might best be called ''procedural epistemology'' — the study of the structure of knowledge from an imperative point of view, as opposed to the more declarative point of view taken by classical mathematical subjects.
;Applications outside of computing
;Applications outside of computing
* Sparked the [[Digital Revolution]] which led to the current [[Information Age]]<ref name="bgu">[http://www.cis.cornell.edu/Dean/Presentations/Slides/bgu.pdf]</ref>
* Sparked the [[Digital Revolution]] which led to the current [[Information Age]] [http://www.cis.cornell.edu/Dean/Presentations/Slides/bgu.pdf]
* In [[cryptography]], [[Cryptanalysis of the Enigma|breaking the Enigma machine]] was an important factor contributing to the Allied victory in World War II.<ref name="kahnbook">[[David Kahn]], [[The Codebreakers]], 1967, ISBN 0-684-83130-9.</ref>
* In [[cryptography]], [[Cryptanalysis of the Enigma|breaking the Enigma machine]] was an important factor contributing to the Allied victory in World War II.[[David Kahn]], [[The Codebreakers]], 1967, ISBN 0-684-83130-9.
* [[Scientific computing]] enabled advanced study of the mind and mapping the human genome was possible with [[Human Genome Project]]. [[Distributed computing]] projects like [[Folding@home]] explore [[protein folding]].
* [[Scientific computing]] enabled advanced study of the mind and mapping the human genome was possible with [[Human Genome Project]]. [[Distributed computing]] projects like [[Folding@home]] explore [[protein folding]].
