David Seetapun is an English logician and former investment banker. During the fall of 1990, David Seetapun was said to have "used a very interesting...
3 KB (358 words) - 19:33, 20 June 2022
contrast, by a theorem of David Seetapun, the graph version of the theorem is weaker than ACA0, and (combining Seetapun's result with others) it does...
62 KB (7,919 words) - 16:19, 31 July 2024
imply WKL0 over RCA0, solving an open problem left by English logician David Seetapun in the 1990s (Liu (2012)). For this he was instantly promoted to full...
4 KB (224 words) - 20:32, 23 December 2023
axiom, falling into one of the big five subsystems, ACA0. However, as David Seetapun originally proved, the version of the theorem for graphs is weaker than...
6 KB (768 words) - 15:14, 3 December 2023