## From mathematical constructivity to computer science: Alan Turing, John von Neumann, and the origins of computer science in mathematical logic, Volume 2 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Other editions - View all

### Common terms and phrases

applied mathematics Arthur Burks artificial intelligence automata theory automaton basic behavior calculations carry coding completed complicated computable numbers computer project computer science computing machine computing machinery concept construct Cybernetics delay line described device discussed Eckert EDVAC electronic computer engineering ENIAC Entscheidungsproblem equipment error fact finite formal logic GALTA H. H. Goldstine halting problem human nervous system IAS machine Ibid idea important information processing information science Information Theory input instructions involved Journal of Symbolic logical theory London Math mathematical logic mathematical theory Mathematische Annalen McCulloch and Pitts mechanism memory Neumann Neumann's contributions neuron operations organ output particular physical physiological possible Probabilistic Logics problems psychology recursive Rosenblueth scientific Self-Reproducing Automata Shannon speed storage stored program Symbolic Logic technique theoretical theory of automata theory of information thinking machine TOCA transmission transmitted tubes Turing's universal machine universal Turing machine unreliable components Warren McCulloch Wiener York