Büchi's problem: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

2 December 2012

  • curprev 23:0123:01, 2 December 2012‎ en>CBM‎ 5,170 bytes +5,170‎ Does have an application to computability, but many results in number theory do. I don't think it's closely related to computability enough for the category to make sense

22 August 2012

  • curprev 20:1620:16, 22 August 2012‎ en>CBM‎ m 5,204 bytes +5,204‎ Undo - this was a violation of the AWB rules, but moreover the comments are fine for organizing the structure of the source code, and I don't see a sound reason to remove them en masse
Retrieved from "https://en.formulasearchengine.com/wiki/Büchi%27s_problem"