became common computers able perform calculations performed previous human clerks since values stored digital machines bound physical properties like analog devices logical computer based digital equipment able anything could described purely mechanical theoretical turing machine created alan turing hypothetical device theorized order study properties hardware mathematical foundations modern computer science began laid kurt g del incompleteness theorem theorem showed
Formal science Computer science Social sciences History of computer science