undefined | Better HN

0 pointsdefrost2y ago0 comments

> If a human based their views solely on formal logic then they wouldn't have an inconsistent world view in the first place,

Can you remind the class about Gödel's second incompleteness theorem and what it says about consistency in formal logic systems?

0 comments

Jensson2y ago

Nope, I wrote that based on a feeling not formal logic. But now I'm starting to feel that I was wrong there, see my mind is changing without any formal arguments.

j / k navigate · click thread line to collapse

0 comments

Jensson2y ago

Nope, I wrote that based on a feeling not formal logic. But now I'm starting to feel that I was wrong there, see my mind is changing without any formal arguments.

j / k navigate · click thread line to collapse