Software engineering
Statement
IBM System/360; Brooks's law. Proved in ZFC.
Source
ACM Turing Award 1999. IBM System/360; Brooks's law. Proved in ZFC.
Domains
computer-science
IBM System/360; Brooks's law. Proved in ZFC.
ACM Turing Award 1999. IBM System/360; Brooks's law. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/theorem/brooks-turing-1999/