Viewing profile — Gondolin

Yes, the Busy Beaver function grows faster than the functions I gave, basically it behaves like f_{w^1_CK} (although this does not really make sense because w^1_CK, the Church Klee…

The ultimate generalization is to use an inductive definition based on recursive ideals. For instance the fast growing hierarchy f_alpha: https://en.wikipedia.org/wiki/Fast-growing…

Yes, Emmy Noether was a pure genius (one of the greatest mathematician of all time), and was never named full professor (even though she had Hilbert support).

It would be nice to know the priority of blocking elements between firefox default anti-tracker list, ublock origin, and privacy badger. When I see a tracker hit ublock origin does…

Now that systemd-nspawn also has oci support, I wonder if podman/cri-o are going to switch to nspawn rather than runc.

The Fibonacci example is interesting. If you want arbitrary precision, then the naive recursive method is exponential in $n$ to compute $F_n$. The loop method (recursive method wit…

On the other hand, constructive set theory is still rather a niche part of mathematics (this may change with the recent development of HOTT). It is hard not to use the LEM (and I a…

Only speaking about arithmetic rather than full set theory: in (full) second order arithmetic theory all models of the natural number N are isomorphic (in a unique way). The big dr…

More precisely the effective topos is a kind of realizability topos with a nno where every function is computable. Such a (non trivial) topos cannot be classical, otherwise the hal…

Oh yes, it is very much alive. For instance any topos (with a nno) is a model of intuitionist set theory. And since topos are a very natural type of categories (a topos= acategory …

Some plants have a closed cooling system. And the million figure count fish eggs, which is somewhat cheating. And if you take into account the reduced wildlife area due to solar pa…

Again, a major accident would not take out half of Western Europe, this is fear mongering. A major accident would be severe, with a large exclusion zone and a lot of economic damag…

No it is not zero CO2 output in 2050 but about 65% reduction only, or 80% if a 25% reduction of electricity consumption is achieved. This is 1) too late, 2) not even on par with Fr…

Yes long term we should get rid of it (for fusion), but in short term the priority is climate change. And nuclear fision is a tremendous asset for climate change. There are still h…

I agree that Energiewende is important and that reducing the cost of renewable was sorely needed, but at the same time the decision to close the nuclear plants (rather than coal) w…

Chernobyl: cannot happen. Fukushima: how many deaths? Even if the wind was blowing in the direction of Tokyo? But sure, let's close the nuclear reactor who killed nobody in Germany…

> Because it wanted to get rid of nuclear first and as fast as possible. And this killed a few thousand persons and rejected MegaTons of CO2 in the atmosphere that could have been …

So still 35% coming from fossil if the remaining nuclear plants are shut down. Again, Germany goals and effort are laudable, but you miss my point, it is not about nuclear vs renew…

This is the production capacity (you are right it is not a good measure), but I was replying based on the graphic. If I look at wikipedia: https://en.wikipedia.org/wiki/Electricity…

Germany's goal is laudable, but even if it manages to go full renewable by 2050 that's still 40 years of green house gas emissions it could have avoided had it gone both nuclear an…

If I count lignite + coal + natural gas + mineral oil, it goes from 76.9GW in 2010 to 79.3GW in 2019. So it did not go down either. That's because Germany needs a back up energy so…

Germany has been taking coal offline after taking nuclear offline; and are replacing coal by gas (so they depend even more on Russia) instead of replacing it by nuclear or renewabl…

Of course I am not stating that billions of death would happen overnight, like if we had a supervolcano explosion. Instead, it would be gradual, over 20-25 years. But you are right…

Renewable are a way better source of energy than nuclear power and we should definitively invest on them. But currently they does not suffice (because we don't have enough energy s…

Again, coal related death are of the order of 1-5 millions by year. By contrast the worst estimate for Chernobyl is 200000 deaths. The closing of germany's reactor, which amount to…