News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.