Search results
There is a page named "Talk:Howard Gallier" on Wikipedia
- 215 bytes (0 words) - 16:06, 14 February 2024
- n)-1)>{\mathcal {G}}(n)} QED As for the contradiction with Gallier, I don't know what to say. Gallier does not prove that Goodstein majorizes H_epsilon, he...28 KB (3,706 words) - 16:19, 7 May 2024
- originally proposed the slow-growing hierarchy? I learned of it from (Gallier 1991) and it doesn't cite any source. Cheers, — sligocki (talk) 23:02,...7 KB (1,274 words) - 04:45, 9 March 2024