Skip to main content
Ivan Galakhov's user avatar
Ivan Galakhov's user avatar
Ivan Galakhov's user avatar
Ivan Galakhov
  • Member for 6 months
  • Last seen more than a week ago
awarded
awarded
awarded
awarded
awarded
comment
Finite verification for theorems due to Busy Beaver numbers
That was my intention, yes. I see now that this results is fairly boring with LEM, so I guess a better question would be if this kind of statement is constructible.
awarded
revised
Loading…
Loading…
awarded