I agree with "the model is us" and I wish more people were critical of the "alien" nonsense - these proofs belong to humanity, the thinking that led to them is an extension of our thinking. we entered the era of machine assisted 100+ page proofs decades ago: I wonder how many living humans right now understand the full 20,000 page existence proof of the monster group for example
2 comments
[ 0.20 ms ] story [ 12.5 ms ] threadwhich part isn't?
I agree with "the model is us" and I wish more people were critical of the "alien" nonsense - these proofs belong to humanity, the thinking that led to them is an extension of our thinking. we entered the era of machine assisted 100+ page proofs decades ago: I wonder how many living humans right now understand the full 20,000 page existence proof of the monster group for example