I’m sure GEB says at least a little bit about omega-incompleteness. Is my memory defective?
I think it does, and I know it at least alludes to ordinal logic and model theory.
Yes, though I think it’s fair to say it says little enough about those that Eli’s complaint could be reasonable.
Maybe I just didn’t reach that part yet.
I’m sure GEB says at least a little bit about omega-incompleteness. Is my memory defective?
I think it does, and I know it at least alludes to ordinal logic and model theory.
Yes, though I think it’s fair to say it says little enough about those that Eli’s complaint could be reasonable.
Maybe I just didn’t reach that part yet.