Beaver Math Olympiad

From BusyBeaverWiki
Revision as of 07:36, 23 July 2024 by Bt2901 (talk | contribs) (Created page with "''Beaver Mathematical Olympiad'' is an attempt to re-formulate the halting problem for some particular TMs as mathematical problem in a style suitable for a hypothetical math olympiad. The purpose of BMO is twofold. First, statements where every non-essential details (e.g. related to tape encoding, number of steps, etc) is discarded are more suitable to be shared with mathematicians who perhaps are able to help. Second, it's a way to jokingly highlight how a hard ques...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Beaver Mathematical Olympiad is an attempt to re-formulate the halting problem for some particular TMs as mathematical problem in a style suitable for a hypothetical math olympiad.

The purpose of BMO is twofold. First, statements where every non-essential details (e.g. related to tape encoding, number of steps, etc) is discarded are more suitable to be shared with mathematicians who perhaps are able to help. Second, it's a way to jokingly highlight how a hard question could appear deceptively simple.

Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=Beaver_Math_Olympiad&oldid=511"