we can make progress by thinking about it and making arguments.
I mean real progress is via proof and things leading up to a proof right? I’m not discounting mathematical intuition here but the ~entirety of the game comes from the correct formalisms/proofs, which is a very different notion of “thinking.”
Put in a different way, mathematics (at least ideally, in the abstract) is ~mind-independent.
Do you think ideal reasoning is well-defined? In the limit I feel like you run into classic problems like anti-induction, daemons, and all sorts of other issues that I assume people outside of our community also think about. Is there a particularly concrete definition philosophers like Chalmers use?
No, it’s like the irrationality of pi or the Riemann hypothesis: not super obvious and we can make progress by thinking about it and making arguments.
I mean real progress is via proof and things leading up to a proof right? I’m not discounting mathematical intuition here but the ~entirety of the game comes from the correct formalisms/proofs, which is a very different notion of “thinking.”
Put in a different way, mathematics (at least ideally, in the abstract) is ~mind-independent.
Yeah, any relevant notion of conceivability is surely independent of particular minds
Do you think ideal reasoning is well-defined? In the limit I feel like you run into classic problems like anti-induction, daemons, and all sorts of other issues that I assume people outside of our community also think about. Is there a particularly concrete definition philosophers like Chalmers use?