This paper by Leslie Lamport might be relevant: https://lamport.azurewebsites.net/pubs/buridan.pdf https://lamport.azurewebsites.net/pubs/buridan.pdf Abstract:

This paper by Leslie Lamport might be relevant: https://lamport.azurewebsites.net/pubs/buridan.pdf https://lamport.azurewebsites.net/pubs/buridan.pdf Abstract: Buridan’s principle asserts that a discrete decision based upon input having a continuous range of values cannot be made within a bounded length of time. It appears to be a fundamental law of nature. Engineers aware of it can design devices so they have an infinitessimal probability of not making a decision quickly enough. Ignorance of the principle could have serious consequences