There is an interesting anecdote about his proof that the transitive closure algorithm, now known as Warshall's algorithm, is correct.
Є цікавий анекдот про його доведення , що алгоритм побудови транзитивного замикання, тепер відомоий як алгоритм Воршелла, є правильним.