Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

> In this way, our type theories and logics are tailored to how humans most comfortably perceive the world.

Is there any field of study where the whole point is NOT to make concepts understandable by humans?

It could be interesting to let AI, for example, use theories that are easy to "understand" by computers instead, whatever that means.



> Is there any field of study where the whole point is NOT to make concepts understandable by humans?

Literary and art critique seems to be that field.


I don't want to try to answer your question, but instead I'll turn it around: logic and epistemology are the fields most centered on understanding and shaping exactly what it means for a human to effectively come to know something.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: