Talk:Laver table

The definition needs to be clarified. Why is the (4,1) entry of the example equal to 1, when the definition given here gives 5? --Zero 04:47, 20 Oct 2004 (UTC)

I corrected that. But yeah, I agree that the article in general needs clarification; unfortunately, outside of the article in Spektrum der Wissenschaft (the german edition of Scientific American), I have not been able to find anything on the topic really. The papers mentioned are not on arXiv, and Google finds no pages that would shed further light on this subject, either. -- Schnee 14:54, 20 Oct 2004 (UTC)

MO comment

is interesting and maybe someone here can add something about it. 67.119.15.96 (talk) 10:29, 8 May 2011 (UTC)

Citing a preprint

There is a 2025 preprint "Notes on Laver tables" by Renrui Qi which improves on Dougherty's "n > A(9, A(8, A(8, 254)))" lower bound given in the section "Are the first-row periods unbounded?" of the article. By WP:PREPRINT, an arXiv preprint is a self-published source, and since the author does not seem to have any prior publications, this would usually not be an acceptable for inclusion in the article. However, this result has been formalized in the Lean 4 proof assistant, although the formalization has yet to appear publicly. Should this be added to the article? If not, should it be added if the formalization is publicly posted? C7XWiki (talk) 22:42, 28 September 2026 (UTC)