> Even if induction mathematics was the way the human mind worked (which it isn't) Even if it isn't how the human mind works, it's how computing itself works.

> Even if induction mathematics was the way the human mind worked (which it isn't) Even if it isn't how the human mind works, it's how computing itself works. Would you take seriously a physicist who denies gravity? I wouldn't take seriously a computer scientist who denies structural induction.