Philip JF
Reputation
Top tag
Next privilege 250 Rep.
 Aug5 awarded Critic Nov2 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. Nov2 awarded Editor Nov2 revised What is SAT in mathematics? auto correct problem Nov2 answered A basic doubt on Markov Chain / Conditioning Nov2 answered What is SAT in mathematics? Nov1 awarded Teacher Nov1 answered How to find matrix $\left(\begin{matrix}a_{11} & a_{12} \\ a_{21} & a_{22}\end{matrix}\right)$. Jul25 answered Is there a name for this type of logical fallacy? Jan8 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. Jan8 awarded Supporter Jan8 comment An example of a bounded countably infinite subset of the real numbers. @DahnJahn well $1/0$ would be a problem, wouldn't it?