Hoare

软件开发需要拥抱形式数学以实现成熟

软件开发实践，曾经植根于数学原理，但很大程度上已偏离其正式起源。为了成熟为一门真正的工程学科，软件开发必须重新采用基于数学的形式化方法、符号和语言。这对于操作系统、网络和生命攸关的应用等关键领域尤其重要，在这些领域，端到端的数学严谨性是必不可少的。此外，迫切需要一个全面的监管框架来管理人工智能在 IT 中的使用，尤其是在这些敏感领域，因为科技公司自行监管已被证明是不够的。