3 events with tag "Turing"
1936
ID: 1448
Turing proves undecidability of halting problem - Mathematical proof that some computational problems cannot be solved algorithmically
ID: 1448
1936
ID: 4612
Alan Turing invents Turing machine - mathematical model of computation, defines algorithm
ID: 4612
1943
ID: 1533
ENIAC computer project begins using mathematical logic for automated calculation
ID: 1533