I guess an argument of this type rules out a lot of reasonable-seeming inference rules—if a computable process can infer “too much” about universal statements from finite bits of evidence, you do this sort of Gödel argument and derive a contradiction.
This makes a lot of sense, now that I think about it.
Thank you very much!
I guess an argument of this type rules out a lot of reasonable-seeming inference rules—if a computable process can infer “too much” about universal statements from finite bits of evidence, you do this sort of Gödel argument and derive a contradiction. This makes a lot of sense, now that I think about it.