4 ms·
Well said! Lakatos in his "Proofs and Refutations" addresses precisely this topic.
by timwiseman 16y ago
Well said!
Lakatos in his "Proofs and Refutations" addresses precisely this topic.
- 10ren 16y agoI like this experimental approach, it's like debugging, except you can also edit what inputs you accept. But is it actually accepted by mathematicians as an accurate description of what they do? http://en.wikipedia.org/wiki/Proofs_and_Refutations http://en.wikipedia.org/wiki/Proofs_and_Refutations Even Alonzo Church published work that was later shown to be logically inconsistent http://en.wikipedia.org/wiki/Lambda_calculus http://en.wikipedia.org/wiki/Lambda_calculus I came across