Foundations Of Mathematics

concepts · 1 notes linked

Related: Quanta Magazine · Mathematical Proof · Formal Verification

Notes

• Why Mathematical Proof Is a Social Compact | Quanta Magazine — Mathematical proof as community social compact, not pure objective truth