asuidyasiud

8 ms·

1.
by asuidyasiud 12y ago
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 will have
2.
by asuidyasiud 12y ago
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 encounter an express
3.
by asuidyasiud 12y ago
There is nothing destructive about the map M: A x A -> A.
4.
by asuidyasiud 12y ago
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.
5.
by asuidyasiud 12y ago
It is completely irrelevant, ecologically speaking.
6.
by asuidyasiud 12y ago
What is call option? /s
7.
by asuidyasiud 12y ago
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 am
8.
by asuidyasiud 12y ago
You misread, I made the converse claim.
9.
by asuidyasiud 12y ago
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 social process comes
10.
by asuidyasiud 12y ago
> It won't necessarily give you a proof that your result... That is precisely the point.
11.
by asuidyasiud 12y ago
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 the origi
12.
by asuidyasiud 12y ago
You can get a DOI for github.
13.
by asuidyasiud 12y ago
It's the correct substitute for umlauts if the latter are not available (as opposed to "Sud").