News for hackers. Stuff that matters.
Re:How many people did it take to build the Great Pyramid? by soperj on Thursday May 28, 2020 @09:42PM (#23345419)
Sometimes writing it down means very little. Like Perelman's Poincaré conjecture solution. It took some of the best mathematicians years to even prove it being correct.
Re:How many people did it take to build the Great Pyramid? by blackrock on Thursday May 28, 2020 @10:02PM (#23345532)
Didn’t the Egyptians write it down? But we still have no idea how to understand their hieroglyphics. Or how they even figured out their math.
Re:How many people did it take to build the Great Pyramid? by rrmm on Thursday May 28, 2020 @10:25PM (#23345686)
Re:How many people did it take to build the Great Pyramid? by bingerman on Friday May 29, 2020 @07:24AM (#23348678)
I don't think they proved the correctness, just read it very thoroughly and were convinced by Perelman's reasoning.