Why Mathematical Proof Is a Social Compact

bu Andrew Granville https://www.quantamagazine.org/why-mathematical-proof-is-a-social-compact-20230831/?fbclid=IwAR0bmQCHduFIWPgS9mgjoZLI86i2PGED2GONlpHQyHbt3gR515M5Zr2eg3Q A more technical discussion https://mxphi.com/wp-content/uploads/2023/07/Granville.pdf see also https://www.philocomp.net/computing/hilbert.htm?fbclid=IwAR3OUm3vd3m64X0VYat4whyNUJSGGqGg153n7iVm82GteVweV4PxaCPptEc_aem_AYk1OFQ3a54MAViUF6a0pIiv9zXIoGPspH-cnxWRxTpH12TSW8SdwJcQAyLCJPw7JQg