Rendered at 08:14:06 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.
gfody 8 hours ago [-]
> The model is us and it isn’t
which 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
which 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