4 ms·
There are (short) computer programs where you input a mathematical proposition and a proof in a kind of proof programming language, and the program will then ch
by jules 4y ago
There are (short) computer programs where you input a mathematical proposition and a proof in a kind of proof programming language, and the program will then check if it's a valid proof. Saying that mathematical truth is a social construct is technically true but misses the point entirely.
- e12e 4y agoHow does one decide which axioms to build on?
- threatofrain 4y agoYou can choose whatever you want, and mathematicians do sometimes choose different axioms. The question is whether the consequences of some axioms are up for social negotiation.
- deleted 4y ago[deleted]