/sci/ - Science & Math

>>12243053
It's like >>12239320, I digged out an old hard drive with a lot of artsy shit

>>10938430
Thanks, but I meant consistent with choice, replying to that guys claim the claim that assuming choice would always imply Tarski.

>>10938509
But wouldn't you say the range of possible algorithms given some model of computation is fixed and thus also up for your notion of discovery. Is finding prove not math - it's very closely tied to creating algorithms? And relatedly, that those tools mentioned have mathematical properties to be studied (and, with them, e.g. optimized).

Not replying really to you (as you seem to be comfortable with your definition), but for general interest, there's a cute Wikipedia page with various mathematicans definition of mathematics
https://en.wikipedia.org/wiki/Definitions_of_mathematics