Improve the use of newpage

bbchallenge / bbchallenge-proofs

Mathematical proofs of the bbchallenge project.

Creative Commons Attribution 4.0 International

16 stars 6 forks source link

Improve the use of newpage #15

Closed int-y1 closed 11 months ago

int-y1 commented 11 months ago

Only use newpage at the start of a section.
Fix link to BB(5) champion.
Improve wording in abstract.
Recompile pdf.

UncombedCoconut commented 11 months ago

Thanks! I have doubts about the abstract change. Perhaps it would be better to say a decider truthfully outputs "halt", "infinite", or "undecided" instead of phrasing it like a decision problem?

int-y1 commented 11 months ago

Thanks! I have doubts about the abstract change. Perhaps it would be better to say a decider truthfully outputs "halt", "infinite", or "undecided" instead of phrasing it like a decision problem?

This sounds easier to understand. I'll update.

tcosmo commented 11 months ago

Thank you for your work!