tag:blogger.com,1999:blog-3891434218564545511.post513635736829025624..comments2024-03-28T13:23:50.623-05:00Comments on Alexander Pruss's Blog: Mathematics without proofAlexander R Prusshttp://www.blogger.com/profile/05989277655934827117noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-3891434218564545511.post-2336964229853187942016-09-18T20:06:18.521-05:002016-09-18T20:06:18.521-05:00I did tell him that there are axiomatizations of a...I did tell him that there are axiomatizations of arithmetic that make the distributive law an axiom. But he prefers axiomatizations that use simpler principles. He's got good taste .Alexander R Prusshttps://www.blogger.com/profile/05989277655934827117noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-87510130517242374402016-09-18T20:04:17.763-05:002016-09-18T20:04:17.763-05:00True, though several years down the road one might...True, though several years down the road one might forget that one hasn't seen the proof yet, and hence fail to seek it out. Alexander R Prusshttps://www.blogger.com/profile/05989277655934827117noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-666547969418891102016-09-17T22:12:28.770-05:002016-09-17T22:12:28.770-05:00Maybe, “One day, you will be given enough tools to...Maybe, “One day, you will be given enough tools to be able to prove this for yourself or at least to follow a proof that you can find online somewhere”?SMatthewStoltehttps://www.blogger.com/profile/06632670946997680263noreply@blogger.com