4 ms·
The irony is that "why logic" has been definitely answered... all sorts of highly technical formal logic found use in computer science!
by bodhiandpysics1 4y ago
The irony is that "why logic" has been definitely answered... all sorts of highly technical formal logic found use in computer science!
- 6AA4FD 4y agoI believe it! But I was talking about my philosophy research, in value theory and art history. I don't see the irony.
- bodhiandpysics1 4y agoI think the irony is that all those weird logics turned out to not just be useful for logic... but literally actually really useful! Like people make lots of money based off of them
- ogogmad 4y agoIntuitionistic and linear logics are good examples of "weird" logics that have had some relevance to computing. Intuitionistic: Curry-Howard, Dependent Type Theory, formal methods. Linear logic: Rust.