quotes: added quote by mccarthy about logic and computation