4 ms·
This is more or less what I wanted to allude to with the social process of proof. The number of things that are actually rigorously formally proven is surprisin
by mzl 16y ago
This is more or less what I wanted to allude to with the social process of proof. The number of things that are actually rigorously formally proven is surprisingly small IMHO.
- vessenes 16y agoI think the problem is that we can't write down all our assumptions, even if we try REALLY hard. This is some of what inspired the mathematical formalism movement; trying to make sure that we know what we think we know.