Fix typos in halting segment

bbchallenge / bbchallenge-proofs

Mathematical proofs of the bbchallenge project.

Creative Commons Attribution 4.0 International

16 stars 6 forks source link

Closed int-y1 closed 10 months ago

int-y1 commented 10 months ago

Definition 5.1: Remove $\mathbb{N} = \{0, 1, 2 \dots\}$ because this is already stated in Section 1 Conventions.
The rest are minor typo/grammar fixes.

tcosmo commented 10 months ago

Thank you very much, all looking good :)