Formal logic is mathematics, and there are philosophers…
“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
This interpretation was drafted with AI assistance. It is one reading of the quote, not the author's own explanation.
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.