Por que a prova matemática é um pacto social

". . . o que é uma prova matemática? Tendemos a pensar nisso como uma revelação de alguma verdade eterna, mas talvez seja melhor entendido como uma espécie de construção social."

https://www.quantamagazine.org/why-mathematical-proof-is-a-social-compact-20230831/

Etiquetas:

entrevista - teoria dos números - conjectura abc - prova lógica - suposições - argumento matemático - ciência da computação - filosofia