2 ms·
You are both using implicit (so far) and incompatible definitions of "proof" & "proving". (Just thought that I point it out in case you guys missed it (sorry i
by klibertp 8y ago
You are both using implicit (so far) and incompatible definitions of "proof" & "proving".
(Just thought that I point it out in case you guys missed it (sorry if you didn't, just trying to be helpful here) but wanted to continue the discussion)
- lisper 8y agoSee my response here: https://news.ycombinator.com/item?id=18957158 https://news.ycombinator.com/item?id=18957158