 |
Post Avzobb1kRI9yPGL84m by [email protected] |
 |
More posts by [email protected] |
|
Post #AvzobaWuHxUQrbuV0K by [email protected] |
|
0 likes, 0 repeats |
|
|
|
It's been well established that mathematics, as much as it thinks of itself… |
|
|
|
Post #AvzobaeLqHRdEhORbk by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@JacquesC2 the word “objective” feels loaded here. I mean it in a very bori… |
|
|
|
Post #AvzobakNTsGVXODG08 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@JacquesC2 what would you call the property of mathematics that makes this poss… |
|
|
|
Post #AvzobaqP7T5Nq524OW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@chrisamaphone Mathematics at the micro-scale is objective. The fallacy is to b… |
|
|
|
Post #Avzobaw4mNcg7fgbEe by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@JacquesC2 sure. I agree with this. i would frame this as an issue with, in Tao… |
|
|
|
Post #Avzobb1kRI9yPGL84m by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@chrisamaphone We seem to now be in full agreement. |
|
|
|
Post #AvzobbZ4ROoa4bvk12 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Never mind the fact that the identical statement in two different foundations m… |
|
|
|
Post #Avzoc9o97r4mHDFGEa by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@JacquesC2 This precise question haunts me since months: does the Lean formaliz… |
|
|
|
Post #Avzoc9uWk8BEb0EMBE by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@antoinechambertloir It's an extremely difficult problem: that of translati… |
