3 ms·
They care quite a bit actually, they just call their constructive proofs "algorithms" or "decision procedures".
by zozbot234 6mo ago
They care quite a bit actually, they just call their constructive proofs "algorithms" or "decision procedures".