News for hackers. Stuff that matters.

A comment on There’s more to mathematics than rigour and proofs (2007). Parent comment

Re:There’s more to mathematics than rigour and proofs (2007) by l33t2328 on Thursday April 21, 2022 @11:02AM (#31110337)
I’m arguing that logic is a subfield of CS, so “constructing” CS “from” logic isn’t a contradiction.
[ Parent | on HN ]

There are no comments on this comment yet.