A mathematical theory (á la Einstein) without experimental confirmation is just a theory. Or perhaps economics.

And the idea that all forms of computation, like Turing machines, lambda calculus, etc., etc., also seems pretty darn silly at first glance, too.