> Yeah, but that lack of a single underlying model is why I don’t agree about the analogy. There is no single underlying model for mathematics either. This is

> Yeah, but that lack of a single underlying model is why I don’t agree about the analogy. There is no single underlying model for mathematics either. This is a consequence of Godel incompleteness. It holds for both programming languages and math because they're all formal systems, just with different properties.