News for hackers. Stuff that matters.

A comment on What, exactly, do philosophers do?. Parent comment

Re:What, exactly, do philosophers do? by Retric on Monday September 18, 2017 @03:26PM (#15278742)
At a practical level acceptance in The Philosophical Review arguably the top Journal does not require some sort of mechanical formal verification.

The barriers to entry are no less difficult from it's absence, but the barriers to accuracy are defiantly lower.

[ Parent | on HN ]
Re:What, exactly, do philosophers do? by otakucode on Monday September 18, 2017 @04:29PM (#15279239)
Does any journal exist which includes mechanical formal verification as part of its acceptance process? Not even mathematical journals do this. Hell, mathematicians would probably lose their minds if such a thing was suggested. Just look at the crisis the Four Color Theorem proof caused when it came out.
[ Parent | on HN ]