3 ms·
How would you feel about something like type theory : "computing" :: FOL : set theory where I mean to say "computing" as generally as you like.
by tel 12y ago
How would you feel about something like
type theory : "computing" :: FOL : set theory
where I mean to say "computing" as generally as you like.
- psygnisfive 12y agoThats also an appropriate analogy, I think. The main point is, type theory is a tool for reasoning, while set theory is a thing reasoned about. At least in the context of foundational questions. You can flip them, but then it becomes kind of silly, imo.