In other words, the logical model of set theory itself is a failure. Information for deduction will emerge in any given system, meaning that the only method of falsifying it (proof) is by construction (reconstruction). Closure is only provided by demonstration in reality.
Source date (UTC): 2020-11-02 17:09:42 UTC
Original post: https://twitter.com/i/web/status/1323311334524624898
Replying to: https://twitter.com/i/web/status/1323311332742078464
IN REPLY TO:
Unknown author
It’s more correct to say that (a) Babbage failed to inspire an operationalist(computational) movement. It took war and Turing. (b) the set-theoretic model of mathematics was a failure, and caused the set-theoretic model of language (philosophy) that was also a failure.
Original post: https://x.com/i/web/status/1323311332742078464
Leave a Reply