Yeah I find the question Hoare poses a little bit hilarious because it is so stereotypically academic and 'mathy'.
Software got reliable the same way not only biological systems but also markets produce reliable solutions without experts needing to write formal specifications down. By decentrally and through many iterations producing incremental improvements with price signals and adoption as a measure for success, and faulty software being replaced by better competition.
Yeah I find the question Hoare poses a little bit hilarious because it is so stereotypically academic and 'mathy'.
Software got reliable the same way not only biological systems but also markets produce reliable solutions without experts needing to write formal specifications down. By decentrally and through many iterations producing incremental improvements with price signals and adoption as a measure for success, and faulty software being replaced by better competition.