Halting Segment

From BusyBeaverWiki
Revision as of 20:06, 29 August 2025 by Polygon (talk | contribs) (Added more information about history (migrated from Cosearch))
Jump to navigation Jump to search

History

  • In July 2022, the Halting Segment decider is first introduced by lijil.[1]
  • In August 2022, Halting Segment is reproduced by Mateon1.[2]
  • In September 2022, Nathan Fenner verifies Halting Segment in Dafny.[3]

See also

Section 5 of the bbchallenge deciders write-up.

References

  1. ↑ https://discuss.bbchallenge.org/t/decider-halting-segment/75
  2. ↑ https://gist.github.com/mateon1/7f5e10169abbb50d1537165c6e71733b
  3. ↑ https://github.com/Nathan-Fenner/bbchallenge-dafny-deciders/blob/main/halting-segment.dfy
Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=Halting_Segment&oldid=3513"