Comment Comment by emmender2 wutthe average theorem in euclids' elements (written 2000 years back) would have a reasoning chain of at least 10 steps.all of the mathematical machinery humans build need 100% accuracy in each step parent emmender2 2 years ago
the average theorem in euclids' elements (written 2000 years back) would have a reasoning chain of at least 10 steps.
all of the mathematical machinery humans build need 100% accuracy in each step