Aristotle’s Categories: Chapter 3b
Commentary on genera, species, and their differences.
- Philosophy
- Aristotle
- Abstraction
- Logic
Essays
Aristotle’s Categories: Chapter 3a — Dictum de omni et nullo
Commentary on predication, syllogistic reasoning, and abstraction.
- Philosophy
- Aristotle
- Abstraction
- Logic
Aristotle’s Categories: Chapter 2
Commentary on predication and what it means to be in a subject.
- Philosophy
- Aristotle
Aristotle’s Categories: Chapter 1
Commentary on homonymy, synonymy, and paronymy.
- Philosophy
- Aristotle
Exploring Quotients, part 1: quotient sets
Equivalence relations, partitions, and fibers: how quotient sets identify equivalent elements and reveal the distinctions a function forgets.
- Set theory
- Quotient sets
- Abstraction
Hilbert's 1900 Address: Consistency, Completeness, and the Entscheidungsproblem
How Hilbert's vision for mathematics led through Gödel's incompleteness theorems and the undecidability of the decision problem to the Turing machine—a theoretical precursor of the modern computer.
- Logic
- Computability
- History of mathematics