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.
Is that wrong? If I've got that wrong, I have a big attitude adjustment coming down the track towards me.