1F8LZF7xb8a7aSnGV226bXECALFP9u8gsQ (7453) ·
logic is cool and all but how do you get pass the Gödel incompleteness theorem with just using logic?
1F8LZF7xb8a7aSnGV226bXECALFP9u8gsQ (7453) ·
https://twetch.app/t/05a3f0897ed8a7436f321e001ec4610419464ab8d6fe58fe6e94481a40ba4a42
1Jj8TsZnm1bosAJFjkbS8J2MckEGx6sGot (1832) ·
That's the nice way of putting it. I think most pure mathematicians are closer to being mentally handicapped than being intelligent.
1Jj8TsZnm1bosAJFjkbS8J2MckEGx6sGot (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
1F8LZF7xb8a7aSnGV226bXECALFP9u8gsQ (7453) ·
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
1Jj8TsZnm1bosAJFjkbS8J2MckEGx6sGot (1832) ·
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.