B.3 Computation and Information

Checkpoint 4 of 6

skepticism

Reproduce Turing's diagonal argument that no single program can decide whether every program halts.

Attempts

Post your attempt so others can critique it. The curriculum asks for critique from someone who would disagree, so read other attempts and critique them in turn.

Post an attempt

Sign in to post an attempt.