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!