Computer science Quote by Lawrence M. Krauss
“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.”
About This Quote
Source Lecture: Philosophy of Science, 2018
He argues that modern logic is essentially mathematics, not about practical computer science applications.
In simple terms: Mathematics underlies logic, not just computer science.
Key Takeaway
Recognize logic as a mathematical discipline.
Themes
philosophy
mathematics
logic
science
education
Mood
analytical
thoughtful
Type
philosophical
educational
When to use this quote
- academic lecture
- philosophy class
- research discussion
Key Concepts
foundations
formal systems
methodology
Questions to Reflect On
- What are practical uses of mathematical logic?
- How does this view affect computer science?
A Different Perspective
May overlook applied aspects of logic.
![“In [Aristotle's] formal logic, thought is organized in a manner very different from that of the Platonic dialogue. In this formal logic, thought is indifferent toward its objects. Whether they are mental or physical, whether they pertain to society or to nature, they become subject to the same…” quote by Herbert Marcuse](https://sms4smile.com/quotes/img-quotes/520/herbert-marcuse-3589_abstraction_in-aristotle-s-formal-logic-thought-is-o_2545308.jpg)
![“[Aristotle formal logic thus far (1787)] has not been able to advance a single step, and hence is to all appearances closed and completed.” quote by Immanuel Kant](https://sms4smile.com/quotes/img-quotes/e14/immanuel-kant-532_able_aristotle-formal-logic-thus-far-1787-has_717360.jpg)
