Comment by makerdiety

14 hours ago

So... the ancient childish attempt to prove mathematics using mathematics (Gödel's Incompleteness slew the challenger) can be used to help me be a better TypeScript programmer? I learned something new today.

4 comments

makerdiety

Reply
bulbar  13 hours ago

Why the belittling language? You actually can prove the completeness and consistency of portions of mathematics.

While axioms were known in ancient times, only Hilbert started the whole "prove Mathematics" thing.

How else would you prove mathematics and why would that be childish to use math? The limitations discovered were quite surprising back then.

  • makerdiety  8 hours ago

    Yikes, guys/girls. I got downvoted to -4 points for a misunderstanding or something. Because the author of the website would probably agree with my simple point that although the Principia Mathematica tried to do the impossible, there is still utility for its value as a programming self-teaching resource for serious students of computer science.

    Wow. Yeah. You guys ironically didn't just throw out the baby with the bath water thing. You burned me at the stake like a witch for heresy. Due to your cognitive biases and distortions.

    You guys are Imperium of Mankind coded or something?

    • gjm11  4 hours ago

      > I got downvoted to -4 points

      > You burned me at the stake like a witch for heresy.

      I think you should try to get a better sense of proportion.

      Also:

      > my simple point that although the Principia Mathematica tried to do the impossible, there is still utility for its value as a programming self-teaching resource

      I don't know what your original intention actually was, but your comment read to me very much as (1) implying that the OP was claiming that PM is useful for making people into better Typescript programmers (which OP very much does not claim) and (2) making fun of the OP for making such a claim while (3) calling the enterprise of which PM was a part "childish".

      All of which seems to me like rather the sort of thing that does deserve downvoting to -4, though for what it's worth I didn't downvote you.