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" a second time, and - crucially - it…
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 this point perfectly clear: Whenever you…
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 agree with the second part.
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 the "will of these people". The point I…
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 example, if a group of people by some…
> 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% to 8% after it came close to breaching…
You can get a DOI for github.
It's the correct substitute for umlauts if the latter are not available (as opposed to "Sud").
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" a second time, and - crucially - it…
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 this point perfectly clear: Whenever you…
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 agree with the second part.
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 the "will of these people". The point I…
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 example, if a group of people by some…
> 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% to 8% after it came close to breaching…
You can get a DOI for github.
It's the correct substitute for umlauts if the latter are not available (as opposed to "Sud").