Events Tagged: "halting problem"
Home
Browse Events
People
Places
Books
Search
Timeline
Go →
1 events with tag "halting problem"
1936
ID: 1448
Turing proves undecidability of halting problem - Mathematical proof that some computational problems cannot be solved algorithmically
ID: 1448
computation
Turing
halting problem
undecidability