Leslie Lamport revolutionized computer science with math [video]
One of the most interesting results I found in Leslie Lamport's papers is Buridan's Principle:A discrete decision based upon an input having a continuous range of values cannot be made within a bounded length of time.Quoting from https://lamport.azurewebsites.net/pubs/buridan.pdf:"The significance of Buridan’s Principle lies in its warning that decisions
may, in rare circumstances, take much longer than expected. Before the
problem was recognized by computer designers, some computer systems
probably failed regularly (perhaps once or twice a week) because arbiters
took longer than expected to reach a decision. Real accidents may occur because people cannot decide in time which of two alternative actions to take,
even though either would prevent the accident. Although Buridan’s Principle
implies that the possibility of such an accident cannot be eliminated,
awareness of the problem could lead to methods for reducing its probability."In the accompanying notes at https://lamport.azurewebsites.net/pubs/pubs.html, Lamport states:The four reviews ranged from "This well-written paper is of major philosophical importance" to "This may be an elaborate joke." One of the other reviews was more mildly positive, and the fourth said simply "My feeling is that it is rather superficial." The paper was rejected.