@4179 explains why he thinks it matters that pure mathematicians have mostly incorrect ideas.
Post by twetch#7453
logic is cool and all but how do you get pass the Gödel incompleteness theorem with just using logic?
What the chain says
- Block
- 662 188
- Time
- 2020-11-21T00:50:45Z
- Signer
- 1F8LZF7xb8a7aSnGV226bXECALFP9u8gsQ
- App
- twetch
- Type
- post
- Content type
- text/plain
- Name in tx
- twetch#7453
Fields the transaction did not carry are omitted. Open the payload to see the bytes as stored.
Signed by
1F8LZF7xb8a7aSnGV226bXECALFP9u8gsQ VerifiedReplies (4)
Reposted
twetch#7335 7.0y
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.