Computer Science is the purest science

It's the only system that can use itself to prove itself

>>97
They're one and the same. I don't get why is that ``in LISP'' guy trying to make them seem different when they are not. Current math may have some fictional parts, but we don't know that for sure (for example some infinitary set theories may or may not be consistent). If you accept computation, you accept Peano Arithmetic and if you accept PA, you accept computation.