claim: Note that computer models are just concatenations of calculations you could do on a hand-held calculator, so they are theoretical and cannot be part of any evidence."
evidence: In an effort to answer the first question, computability theory examines which computational problems are solvable on various theoretical models of computation.