Hacker News new | ask | show | jobs
by bodhiandpysics1 1419 days ago
The irony is that "why logic" has been definitely answered... all sorts of highly technical formal logic found use in computer science!
2 comments
ogogmad 1419 days ago
Intuitionistic 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.

link
6AA4FD 1419 days ago
I believe it! But I was talking about my philosophy research, in value theory and art history. I don't see the irony.
link
bodhiandpysics1 1419 days ago
I 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
link