Toot

Written by Andrej Bauer on 2024-11-19 at 22:17

Here's a challenge: find a description of finite injury priority method, for example Friedberg-Muchnik theorem, which does not use unexplained terminology, contains all the details, is technically correct, and does not say non-sensical things that need to be "understood correctly".

Typical problems:

1. Define the restraint function r(e,s) as something involving A_s, but A_s has not been defined yet (and its definition relies on r).

2. Say things like "now compute r(e,s) for all e". Now? How long will that take?

3. Say "x enters A_{s+1}" without explaining whether A_{s+1} also contains A_s.

4. Use the word "strategy" for two different concepts.

5. Say "choose the least i such that ..." where it is not clear that such an i exists (and in fact it might not). Discuss i for half a page, and only after that explain what to do if i does not exist.

=> More informations about this toot | View the thread | More toots from andrejbauer@mathstodon.xyz

Mentions

Tags