Comment by comonad-colaboy

Science is about verifiable proofs (verifiable within reasonable time limits) which somewhat means the same thing as formal proofs in the grand scheme of things. Correct me if I am wrong

Edit: forgot to put in time limits