6 ms·
wut 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 hu
by emmender2 3y ago
wut
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