Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
bodhiandpysics1
on July 30, 2022
|
parent
|
context
|
favorite
| on:
The Logical Writings of Karl Popper
The irony is that "why logic" has been definitely answered... all sorts of highly technical formal logic found use in computer science!
ogogmad
on July 30, 2022
|
next
[–]
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.
6AA4FD
on July 30, 2022
|
prev
[–]
I believe it! But I was talking about my philosophy research, in value theory and art history. I don't see the irony.
bodhiandpysics1
on July 30, 2022
|
parent
[–]
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
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
