Comment on There’s more to mathematics than rigour and proofs (2007)parentComments−l33t23284yI’m arguing that logic is a subfield of CS, so “constructing” CS “from” logic isn’t a contradiction.
Comments
I’m arguing that logic is a subfield of CS, so “constructing” CS “from” logic isn’t a contradiction.