mlasson

> almost all computations within those limits are not physically realisable either, so how much significance does that objection actually have?

If some thing is impossible with arbitrarily large finite resources, it is still impossible with "practically large" finite resources ! That's why Turing / Gödel results really tell something fundamental about computing/proving; it tells everyone that they do not need to spend time solving an unsolvable problem on computers "as we know them".

But if you prove that something is possible in a your own magic computing framework, it remains practically useless until you implement it in the real world (an example of such a situation is the framework of "quantum computer" trying to solve prime factorization).

The guy in figure 24 is a French mathematician called Étienne Ghys and somewhat known to the public for his commitment to the popularisation of mathematics. I guess he would love this sort of things. I wonder if this picture that chosen randomly on the internet or if this is some kind of homage.

Andy Gavin: "[SGI's] stuff from the early '90s was all filled with this giro shading, as it was called, where things all looked like plastic, like colored plastic."

"giro shading" ? What is he referring to ? Is it a real thing ?

Beware, if your windows 10 is up-to-date, executing this script will crash it (it is the point).