News for hackers. Stuff that matters.

A comment on Philosophy of science books every computer scientist should read. Parent comment

Re:Philosophy of science books every computer scientist shou... by n0us on Friday December 11, 2015 @02:18AM (#10715843)
Mathematics cannot be reduced to logic, logic is not the foundation mathematics. An excellent summary can be found here.

http://plato.stanford.edu/entries/philosophy-mathematics/

or just google Russell's paradox

[ Parent | on HN ]
Re:Philosophy of science books every computer scientist shou... by pron on Friday December 11, 2015 @02:21AM (#10715853)
I didn't mean that math can be fully reduced to logic, but that logic is the field of study concerned with the foundations of mathematics (although, perhaps not exclusively). Interesting link, though.

BTW, Russel's paradox has been resolved in pretty much all logic systems that are now used as the foundation of math.

[ Parent | on HN ]