logic is cool and all but how do you get pass the Gödel incompleteness theorem with just using logic?
Post by twetch#1832
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
What the chain says
- Block
- 662 192
- Time
- 2020-11-21T01:39:41Z
- Signer
- 1Jj8TsZnm1bosAJFjkbS8J2MckEGx6sGot
- App
- twetch
- Type
- post
- Content type
- text/plain
- Name in tx
- twetch#1832
Fields the transaction did not carry are omitted. Open the payload to see the bytes as stored.
Signed by
1Jj8TsZnm1bosAJFjkbS8J2MckEGx6sGot VerifiedReplies (2)
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.