News for hackers. Stuff that matters.
Re:List of Statements Independent of ZFC by tgflynn on Wednesday December 18, 2019 @08:10PM (#21831186)
Yes, my current inclination would be to define truth (in a practical sense) as that which is computable. Everything else belongs to the realm of fiction or fantasy.

Note that I don't mean to imply that this is the entirety of my philosophy. Just that one should distinguish between what is practically relevant and what is not and I think the current state of mathematics and CS does a poor job of making this distinction.

There are no comments on this comment yet.