(Bob: Smart. True. And unfortunately, annoying.)
In working on computational foundations of mathematics (vs sets), it becomes rather obvious why formal models are so challenging (Impossible?), but Austrians have been saying this from the beginning. Computers let us prove it.
Source date (UTC): 2022-10-16 18:23:15 UTC
Original post: https://twitter.com/i/web/status/1581712391829860352
Reply addressees: @BobMurphyEcon @jeffdeist
Replying to: https://twitter.com/i/web/status/1581696558869155840
Leave a Reply