bluesky — Jacqueline — 16 Sep 2026
one idea in it that stuck with me is that the purpose of a proof is not to determine if a statement is true or false
#mathematical-exposition #proof-theory #mathematical-philosophy
one idea in it that stuck with me is that the purpose of a proof is not to determine if a statement is true or false
it's to break the statement down into a collection of substatements, joined by argument, which can be mapped onto existing mathematical knowledge