On 7/9/2025 3:35 PM, Julio Di Egidio wrote:
[I'll post here since I cannot post there.]
I think most people believe that mathematical truths are logically
necessary.
Most people don't even know what necessary vs contingent means.
(Non-trivial) mathematical truth is (necessarily!) contingent, on
mathematical definitions and rules! (Even those who believe God
gave us the integers, should remember that at least the rest is man
made.) Indeed, logic and mathematics rather are *opposite* poles!
The fact that sqrt(2) is irrational doesn't depend on who proved it,
when they proved it, whether they liked it, or any other contingent
historical facts.
In fact, contingent does not reduce to historical, it's not even in
the same category... Truth rather is that almost nobody can even
guess anymore what *logic*, even more so *philosophy*, even is: and
any *value* or *judgment* that is not just by arbitrium and abuse.
I think pi is pi even regarding beings from another planet? If they know
what a circle is... ;^)
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 546 |
Nodes: | 16 (0 / 16) |
Uptime: | 166:59:09 |
Calls: | 10,385 |
Calls today: | 2 |
Files: | 14,057 |
Messages: | 6,416,529 |