5,060 followers
@shizzmd @kausch I think there’s a wide divide between software developers and logicians. Look for example how long it took Gödel’s arithmetization to be cast as a programming language by Chaitin: https://t.co/9OOopdw5tN
@shizzmd @kausch I think there’s a wide divide between software developers and logicians. Look for example how long it took Gödel’s arithmetization to be cast as a programming language by Chaitin: https://t.co/9OOopdw5tN