Posted inPhilosophy
Computers Finding Math Proofs Is Not A Good Idea
It is probably obvious that whether a proposition is (necessarily) true is different than proving, in some formal system, that it is true. It is also clear that if you…
Statistician to the Stars!