News for hackers. Stuff that matters.

A comment on Set Theory and Foundations of Mathematics. Parent comment

Re:Set Theory and Foundations of Mathematics by Sirenos on Friday July 31, 2015 @11:15AM (#9982261)
Isn't Russell's paradox more like a problem with naive set theory? By analogy to a software framework, the paradox would be considered a bug in the framework and say nothing about how useful it is.
[ Parent | on HN ]
Re:Set Theory and Foundations of Mathematics by tikhonj on Friday July 31, 2015 @01:52PM (#9983171)
In a sense. But it's interesting because naive set theory appears so simple and natural: it's a concrete example of how human ideas that seem platonic and inviolate can actually be inconsistent.

So it's less like finding a bug in a software framework and more like finding a bug in your understanding of how computers can work.

[ Parent | on HN ]