Hacker News new | past | comments | ask | show | jobs | submit login

Well, I'm out of my depth. I didn't study Principia or Gödel at school, and I've never really looked into Principia. My understanding is that Principia was an effort to prove that (a) mathematics was logic; and (b) that mathematics was self-consistent. And that Gödel proved that this goal couldn't be achieved.

Is that wrong? If I've got that wrong, I have a big attitude adjustment coming down the track towards me.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: