Halting Segment: Difference between revisions
Jump to navigation
Jump to search
m (→See also: grammar fix) |
(Added more information about history (migrated from Cosearch)) |
||
| Line 2: | Line 2: | ||
==History== | ==History== | ||
* In July 2022, the Halting Segment decider is first introduced by lijil.<ref>https://discuss.bbchallenge.org/t/decider-halting-segment/75</ref> | * In July 2022, the Halting Segment decider is first introduced by lijil.<ref>https://discuss.bbchallenge.org/t/decider-halting-segment/75</ref> | ||
* In August 2022, Halting Segment is reproduced by Mateon1.<ref>https://gist.github.com/mateon1/7f5e10169abbb50d1537165c6e71733b</ref> | |||
* In September 2022, Nathan Fenner verifies Halting Segment in [https://en.wikipedia.org/wiki/Dafny Dafny].<ref>https://github.com/Nathan-Fenner/bbchallenge-dafny-deciders/blob/main/halting-segment.dfy</ref> | |||
==See also== | ==See also== | ||
[https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf Section 5] of the bbchallenge deciders | [https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf Section 5] of the bbchallenge deciders write-up. | ||
==References== | ==References== | ||
[[Category:Deciders]] | [[Category:Deciders]] | ||