Yeah, we pure people tend to forget about efficiency and wonder whether things are theoretically possible rather than possible in practice - i know a bit about computability and things like turing machines and incompleteness and there's a lot of "we know there's some representing formula" or "we know there is some turing program which will compute this" or "run the process until after some finite time..." without worrying about the fine details. it's rather enjoyable
