4 ms·
One of my hobby projects is to construct a new foundation of mathematics: mathematics is the art of predicting if a Turing machine will stop or not.
by bjornsing 2y ago
One of my hobby projects is to construct a new foundation of mathematics: mathematics is the art of predicting if a Turing machine will stop or not.
- JohnKemeny 2y agoJust as long as you don't call your predictor on itself as input, you should be good to go!
- readthenotes1 2y agoAnd perhaps even good to halt:)