Who wins: Loader or Marxen? Ikosarakt1 (talk ^ contribs) 13:56, May 31, 2013 (UTC)
- According to David Moews' page, the output of loader.c is much larger. --Ixfd64 (talk) 16:25, May 31, 2013 (UTC)
Since it's based on Goodstein sequences, I would imagine it's at least in \(\varepsilon_0\) territory. FB100Z • talk • contribs 16:45, May 31, 2013 (UTC)
I thought there is no doubt which number won. Meows gave upper bound for Marxen's number. LittlePeng9 (talk) 21:33, May 31, 2013 (UTC)
I would like to know if there are any bounds that are more precise than given in the article. Where it would exactly land? Tetramur (talk) 06:15, March 2, 2020 (UTC)