Events Tagged: "halting problem"

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