3 ms·
"It's the logic of state developing over time. In classical logic a statement can only be true since negative eternity and it will be true until eternity." You
by analognoise 8y ago
"It's the logic of state developing over time. In classical logic a statement can only be true since negative eternity and it will be true until eternity."
You can fully encode change of state against time with classical logic, it is a fundamental underpinning of solvers for digital synthesis (specifically the extension of SAT solvers to timing analysis).
It's been used, in production, for decades now.
Are you sure this works the way you think it does? I might be wrong but I'm getting a very low signal to noise ratio vibe from your comment.
- adamnemecek 8y agoOk so I actually haven't explored the SAT solver connection too much however my gut tells me that linear logic can solve the same thing however with better performance. I think that the fundamental difference is that SAT solvers aren't differentiable. SAT solvers are fundamentally stateful, whereas linear logic is very dynamic.