A Quote by Alonzo Church

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 Mathematica for instance. It looked more like mathematics; no formalized language was used.
Poincaré was a vigorous opponent of the theory that all mathematics can be rewritten in terms of the most elementary notions of classical logic; something more than logic, he believed, makes mathematics what it is.
I am delighted to know that Principia Mathematica can now be done by machinery. . . I am quite willing to believe that anything in deductive logic can be done by machinery.
There is a logic of language and a logic of mathematics.
Formal logic is mathematics, and there are philosophers like Wittgenstein that are very mathematical, but what they're really doing is mathematics - it's not talking about things that have affected computer science; it's mathematical logic.
The principles of logic and mathematics are true simply because we never allow them to be anything else. And the reason for this is that we cannot abandon them without contradicting ourselves, without sinning against the rules which govern the use of language, and so making our utterances self-stultifying. In other words, the truths of logic and mathematics are analytic propositions or tautologies.
The want of logic annoys. Too much logic bores. Life eludes logic, and everything that logic alone constructs remains artificial and forced.
The fact that all Mathematics is Symbolic Logic is one of the greatest discoveries of our age; and when this fact has been established, the remainder of the principles of mathematics consists of the analysis of Symbolic Logic itself.
The logic of the poet - that is, the logic of language or the experience itself - develops the way a living organism grows: it spreads out towards what it loves, and is heliotropic, like a plant.
Mathematics is a language plus reasoning. It's like a language plus logic. Mathematics is a tool for reasoning.
If human language, with its logic, is the way God has given us to understand the world, then the Torah must be understood in that same language and with that same logic.
First, in your sermons, use your logic, and then your rhetoric; Rhetoric without logic, is like a tree with leaves and blossoms, but no root; yet more are taken with rhetoric than logic, because they are caught with fine expressions when they understand not reason.
I enjoy logic and logic puzzles. And filmmaking is one fun logic puzzle that you gotta win.
Logic is invincible, because in order to combat logic it is necessary to use logic.
Neither Aristotelian nor Russellian rules give the exact logic of any expression of ordinary language; for ordinary language has no exact logic.
And most of all, it means continually drawing connections among these seemingly disparate struggles—asserting, for instance, that the logic that would cut pensions, food stamps, and health care before increasing taxes on the rich is the same logic that would blast the bedrock of the earth to get the last vapors of gas and the last drops of oil before making the shift to renewable energy.
Fairy tales, because they have a very clear structure, are easier to interfere with. Also they have this really weird logic: the kind of logic that you only really experience when you're not feeling very well, or as a child.
This site uses cookies to ensure you get the best experience. More info...
Got it!