There is an interesting anecdote about his proof that the transitive closure algorithm, now known as Warshall's algorithm, is correct.
Есть интересный анекдот о его доказательствах, алгоритма построения транзитивного замыкания, теперь известном как алгоритм Уоршелла, является правильным.