Reputation
2,721
Top tag
Next privilege 3,000 Rep.
Cast close & reopen votes
Badges
7 30
Impact
~102k people reached

Feb
9
accepted What kind of algorithm might solve this type of optimization problem?
Feb
6
revised What kind of algorithm might solve this type of optimization problem?
added 156 characters in body
Feb
6
asked What kind of algorithm might solve this type of optimization problem?
Feb
2
awarded  Popular Question
Jan
23
awarded  Notable Question
Dec
15
accepted How can I recursively approximate a moving average and standard deviation?
Dec
11
revised How can I recursively approximate a moving average and standard deviation?
added 10 characters in body
Dec
11
asked How can I recursively approximate a moving average and standard deviation?
Nov
25
asked Are these two definitions of the natural numbers equivalent?
Oct
23
awarded  Notable Question
Oct
21
awarded  Popular Question
Oct
5
awarded  Yearling
Sep
12
awarded  Popular Question
Aug
10
awarded  Popular Question
Jul
2
awarded  Curious
Jul
2
awarded  Inquisitive
Jun
26
asked Sampling from a graph
Jun
26
revised how to solve $\sqrt{x^2 -2x} -x =0$?
changed to latex
Jun
18
comment Contraposition and law of excluded middle
@Materialist as far as I know (I am not an expert), the law of the excluded middle is formally equivalent to negation elimination. If we can obtain a statement without using negation elimination (i.e. without invoking $\neg\neg P \iff P$), we have proven it without making use of the law of the excluded middle. Here, we begin with, say, $(A\to B) \& \neg B$. If we can now show $\neg A$, then we've shown that $(A\to B)\to (B\to A)$. Now, assume $A$; we show that this leads to $B\&\neg B$, which allows us to conclude $\neg A$ without making use of the law of the excluded middle.
Jun
18
revised Relationship between Binomial and Bernoulli?
edited tags