4 ms·
Mathematical proofs are completely precise, that is to say, not vague in the least. They are, however, in an extremely high-level language; it's left to the re
by karamazov 13y ago
Mathematical proofs are completely precise, that is to say, not vague in the least. They are, however, in an extremely high-level language; it's left to the reader to expand the notation enough to convince themselves of the validity.
(And, of course, there can be bugs - that is, mistakes - but there is no ambiguity.)
- cwp 13y agoSo the underlying ideas are precise, but they're expressed in imprecise language? That's true of all communication. When I ask my wife for "that thing by the door," I know exactly what I mean, but she has a to do a lot of work to decode it.