4 ms·
> everything we can ask computers (or restated, math with real-world applications) can be rephrased in terms of finding a solution to a SAT instance SAT is lim
by Tainnor 3y ago
> everything we can ask computers (or restated, math with real-world applications) can be rephrased in terms of finding a solution to a SAT instance
SAT is limited to propositional calculus which is far too weak for most mathematics.