Hacker News new | ask | show | jobs
by zozbot234 57 days ago
They care quite a bit actually, they just call their constructive proofs "algorithms" or "decision procedures".