136 reputation
3
bio website joyoftypes.blogspot.com
location
age
visits member for 1 year, 6 months
seen Jul 5 at 3:31

Nov
2
comment What is SAT in mathematics?
@qsp I don't think you could read what I wrote as dismissing SAT solvers utility or effectiveness in practice. OTOH "realistic industrial problems" are painfully small because of the limits of SAT solvers to scale. I work in formal verification--this effect is very obvious. SAT and SMT only work on tiny problems compared to say: proving that an entire OS maintains a security invariant, or that a full CPU correctly implements a microarchitecture. SAT solvers are fast and should be used, but hard problems are hard.
Nov
2
awarded  Editor
Nov
2
revised What is SAT in mathematics?
auto correct problem
Nov
2
answered A basic doubt on Markov Chain / Conditioning
Nov
2
answered What is SAT in mathematics?
Nov
1
awarded  Teacher
Nov
1
answered How to find matrix $\left(\begin{matrix}a_{11} & a_{12} \\ a_{21} & a_{22}\end{matrix}\right)$.
Jul
25
answered Is there a name for this type of logical fallacy?
Jan
8
comment An example of a bounded countably infinite subset of the real numbers.
@ChristianMann yes. Otherwise $\mathbb{N}$ is not a monoid under addition. For me, $\mathbb{N}$ is the smallest set such that $0 \in \mathbb{N}$ and $\forall n \in \mathbb{N}, n + 1 \in \mathbb{N}$. It is only natural for the "point" here to be $0$ and not $1$, since addition is primitively recursive.
Jan
8
awarded  Supporter
Jan
8
comment An example of a bounded countably infinite subset of the real numbers.
@DahnJahn well $1/0$ would be a problem, wouldn't it?