Viewing profile — asuidyasiud

I understand where you are come from, but you are conflating different meta-levels (external vs. internal language/logic): You are absolutely free to use any formal expression "x" …

No, applying a map does not mutate or consume the parameters, and therefore no information is destroyed. Function application in mathematics is referentially transparent. To make t…

There is nothing destructive about the map M: A x A -> A.

Mathematicians arguably do not think of the first example as a loop with a mutating variable, but rather as a short-hand notation for f(m) + ... + f(n) - as a macro, if you wish. I…

It is completely irrelevant, ecologically speaking.

What is call option? /s

If a group of people comes together, discusses, and comes by some process to a unanimous decision ("consensus") then it does usually make a lot of sense to regard the outcome as th…

You misread, I made the converse claim.

The point is that invoking an impossibility theorem oftentimes - and also in this case - demonstrates that the formalization one has chosen to work with is not a desirable one. For…

> It won't necessarily give you a proof that your result... That is precisely the point.

Re "well within the safety margin": > EDF was granted permission by the regulator in the summer to relax its graphite weight-loss limit at the Dungeness reactor in Kent from 6.2% t…

You can get a DOI for github.

It's the correct substitute for umlauts if the latter are not available (as opposed to "Sud").