@4179 explains why he thinks it matters that pure mathematicians have mostly incorrect ideas.
Fields the transaction did not carry are omitted. Open the payload to see the bytes as stored.
1KJBLu2QbTgzcxXxS5vuhSFvQBCy9s2wYy Verifiedlogic is cool and all but how do you get pass the Gödel incompleteness theorem with just using logic?
read "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I" when you get a chance... if you haven't it will change your life
Gödel's theorems presuppose the meaningfulness of infinitary processes. Zeilberger and I touch briefly on it in this interview: https://www.youtube.com/watch?v=uNYRUUkuhuo
YouTube Ep. 97 - Math Heresy: Ultrafinitism | Dr. Doron Zeilberger Dr. Doron Zeilberger is the Distinguished Professor of Mathematics at Rutgers University. He's also a math heretic who thoroughly rejects the orthodox concep... yeah I’m always wary of tying together mathematics and computation. i wonder how different that conversation wouldve been before the classification of the “bit”.
but perhaps that separation is my own shortcoming, nowadays its really all up for grabs
It seems backwards to me to be wary of tying math and computation together. We should be wary of untying them.
Thinking that math floats disconnected from computation is a modern aberration. The "bit" has nothing to do with it.
That's the nice way of putting it. I think most pure mathematicians are closer to being mentally handicapped than being intelligent.