0 / 60 seg.

On the one hand, they determined that mathematical logic had clear limits but, on the other hand, they were also able to determine that within those limits, any form of mathematical reasoning could be mechanised.