Comment by zozbot234

1 day ago

They care quite a bit actually, they just call their constructive proofs "algorithms" or "decision procedures".

0 comments