I saw the point was something like this: you can deduce all of some values by logic, and you can some of all vaules by logic, but you can't deduce all of all va

I saw the point was something like this: you can deduce all of some values by logic, and you can some of all vaules by logic, but you can't deduce all of all values by logic. It also had a nice, short, well written take on a lot of philosophy by a fairly smart guy who geeks tend to identify with.