Re:Category Theory Illustrated: Logic(2021)
by jawjay on Friday October 25, 2024 @06:38PM
(#41950555)
This says “Logic is the science of the possible” but wouldn’t logic be the science of the definite? I mean the whole point is to be able to definitely say what is or isn’t valid, definitely.
[ Parent
| on HN ]
There are no comments on this comment yet.