boarders.bsky.social

17 October 2026 18:00

The traditional division in the philosophy of matheamatics between formalists, intuitionists, and platonists misses what I think of as a contemporary, but distinct, branch of intuitionism having nothing to do with brouwer’s philosophy but a deep interest in the BHK interpretation

🏴‍☠️Rich Graham🕉︎

richgraham.bsky.social

16 October 2026 06:04

so its the difference between the ultimate reality and interactive reality? they both agreed on that. vivekananda spoke about freedom in the interactive reality quite abit.

🏴‍☠️Rich Graham🕉︎

richgraham.bsky.social

16 October 2026 06:04

I mean 'transactional' reality.

🏴‍☠️Rich Graham🕉︎

richgraham.bsky.social

13 October 2026 08:40

its science, and advaita never tried to contradict science, always said 'science rules this world' but how do we know that we werent meant to make the right choice?

🏴‍☠️Rich Graham🕉︎

richgraham.bsky.social

13 October 2026 08:40

I mean how we know that we arent determined to succeed? We dont, theres just as much chance of as not, so we might as well act the same way we would anyway