History of Computing

London : Springer , cop. 2011

1 online resource (344 p.)

Description based upon print version of record.. - A Science of Operations; Preface; Acknowledgements; Contents; Introduction; Minds, Method and Machines; Language and Science; Universal Languages; Symbolic Language; The Age of Machinery; The Mechanization of Mathematical Language; Playfair's Paradox; Woodhouse's Formalism; The Analytical Society; Babbage's Philosophy of Analysis; Peacock's Algebra; The Machine Metaphor; Babbage's Engines; The Division of Mental Labour; The Difference Engine; The Meanings of the Difference Engine; The Mechanization of the Mental; Economy; Avoidance of Error; Mathematical Innovation; The Mechanical Notation. - MultiplicationSummary; Comrie and the Mechanization of Scientific Calculation; Register Machines; Hollerith Machinery; Semi-Automatic Programming; Logic, Computability and Formal Systems; Gödel's Construction; Arithmetization; Formalizing Metamathematics; Gödel's Strategy; Recursive Functions; lambda-definability; Direct Approaches to Defining Effective Computability; Post's Formulation; Turing's Machine Table Notation; Turing Machines; Machine Tables; A Standard Tape Format; Variables and Functions; Substitution and Recursion; Free Variables; Universal Machines; Turing's Universal Machine. - Programming the Bell Labs MachineThe Significance of the Automatic Calculators; Functional Scope; Analogy with Manual Computation; Physical Representation of Computational Structures; Tables; Subsequent Developments; Logic and the Invention of the Computer; The Origins of the Stored-Program Computer; The Early Development of Cybernetics; Von Neumann's Design for the EDVAC; Logic and the Stored-Program Concept; The EDVAC Code and Address Modification; Memory Structure; The Operations of CA; The Orders; Address Modification and Conditional Execution; Turing and the ACE; Giant Brains. - The Analytical EngineThe Origins of the Engine; The Structure of the Analytical Engine; The Mathematical View; Translating Analysis; The Science of Operations; The Meanings of the Analytical Engine; Mechanizing the Mind; Time and Economy; Avoidance of Error; Natural Theology; Conclusions; Babbage as Pioneer; Babbage and Programming; Semi-Automatic Computing; The Census Problem; The Hollerith Tabulating System of 1890; Representation of Data; Hollerith's Machines; Functionality; Further Developments in Punched Card Machines; Standardization of Cards; Adding; Increasing Programmability. - The Concept of a Formal LanguageObject Language and Metalanguage; Syntax; Semantics; The Structure of the Metatheory; The Relationship Between Turing's Work and Logic; Automating Control; Konrad Zuse's Early Machines; The Design of Zuse's Machines; Programming the Z3; Mark I: The Automatic Sequence Controlled Calculator; Aiken's Proposal; The Design of the ASCC; Programming the ASCC; The ENIAC; The Structure of the ENIAC; The Operation of the ENIAC; Programming the ENIAC; Cycles and the Master Programmer; Conditional Execution; The Bell Labs Relay Machines; The Design of the Bell Labs Machine. - Universal Machines. - Today, computers fulfil a dazzling array of roles, a flexibility resulting from the great range of programs that can be run on them. A Science of Operations examines the history of what we now call programming, defined not simply as computer programming, but more broadly as the definition of the steps involved in computations and other information-processing activities. This unique perspective highlights how the history of programming is distinct from the history of the computer, despite the close relationship between the two in the 20th century. The book also discusses how the development of

Electronic books.

005.109 . - 004.09

9781848825543