Mathematical propositions are just tautologies.
The reason they are necessarily true is exactly the same as the reason that all
bachelors are unmarried is necessarily true. They're true by definition . . .
Russel towards the end of his life said that "if there was a God",
notoriously he didn't believe there was a God,
"the truths of mathematics would have exactly the same profundity
as the truth that a four-legged animal is an animal."
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 49.159.79.182 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/wisdom/M.1636912093.A.F48.html
※ 編輯: gregorsamsa (49.159.79.182 臺灣), 11/15/2021 01:49:19
※ 編輯: gregorsamsa (49.159.79.182 臺灣), 11/23/2021 01:57:10