What if much of the mathematics we know isn't actually true? Perhaps there isn't even any objective notion of mathematical truth, and no consistent formal system has any better claim to soundness than any other. How could we tell? (1/6)
-
-
Yes, of course. But to use this fact to conclude that minds are not mathematical objects, one first must establish that minds are not mathematical objects.
-
Notions of mathematical object that involve spending "a lot" of time in Agda Follow up: Could mind be a mathematical object even if minds aren't?
-
What distinction are you making between mind and minds?
-
Mind as the substance, minds as its many instantiations in reality. Like water and drops
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.