a proposition is true if and only if i think it's true
this is david's theorem and here's the proof: i think it's true
@david that sounds reasonable.
@david [this is what Brouwer actually believes]
@Vierkantor oh huh
@david It's a slight exaggeration, but basically yes: "there is no determinant of mathematical truth outside the activity of thinking, a proposition only becomes true when the subject has experienced its truth", https://plato.stanford.edu/entries/brouwer/#Bri
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.