Computer science Quote by Lawrence M. Krauss

Formality Thus the absence of all mention of particular things or properties in logic or pure mathematics is a necessary result of the fact…

— Bertrand Russell

Mathematicians care no more for logic than logicians for mathematics.

— Augustus De Morgan

There is a logic of language and a logic of mathematics.

— Thomas Merton

Logical investigations can obviously be a useful tool for philosophy. They must, however, be informed by a sensitivity to the philosophical significance of the…

— Saul Kripke

Logic is the science of the laws of thought, as thought,--that is of the necessary conditions to which thought considered in itself is a…

— Sir William Hamilton, 9th Baronet

Logic is essentially a tool for getting at truth; it is the tool, for without it no reasoning is possible in any field of…

— David Oderberg

I take it that computational processes are both symbolic and formal. They are symbolic because they are defined over representations, and they are formal…

— Jerry Fodor

Mathematics is a language plus reasoning; it is like a language plus logic. Mathematics is a tool for reasoning.

— Richard P. Feynman

Maths is logic.

— Jeremy Limn

Mathematics, in its widest significance, is the development of all types of formal, necessary, deductive reasoning.

— Alfred North Whitehead

Well it was not exactly a dissertation in logic, at least not the kind of logic you would find in Whitehead and Russell's Principia…

— Alonzo Church

“Mathematics works only with computationally reducible systems. Axioms and deductive logic are intended to provide shortcuts, to give general results that can compress a…

— Richard Bookstaber