3 ms·
> We should not accept this. If we don’t, then the future of computing will belong to biology, not logic. In this quote from Leslie Lamport, I took "If we don'
by tromp 2y ago
> We should not accept this. If we don’t, then the future of computing will belong to biology, not logic.
In this quote from Leslie Lamport, I took "If we don't" to mean "If we don't accept this". But the rest of the sentence made no sense then.
Could it be a really awkward way to say: If we don't "not accept this", i.e. if we accept this?
- MBCook 2y agoI think you’re right, it means something like “if we don’t refuse to accept this”. That is rather awkward isn’t it. I really liked that whole block quote though.
- yencabulator 2y agoMaybe an earlier draft said "We should reject this. If we don't [...]", and was edited to be less harsh.
- justin66 2y agoI believe it was probably a typo, and one that existed in the original paper. The tricky thing about it is, a person might not notice it until it was pointed out. (I didn't - but I verified afterward that it's in Lamport's paper)