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

I liked the bit about the hobbit, even if it was a bit out of the blue.

those interested in the link between math and literature might be interested in the link between narratives and linear logic.



Can you recommend any resources to learn more about this link?


On the surface: The world would be premises and stories would be proofs.

Linear Logic for Non-Linear Storytelling by Anne-Gwenn Bosser and Marc Cavazza and Ronan Champagnat has an example.

Then generating proofs means generating valid stories. Linear logic is tough though, it is a logic that admits contradiction so straightaway most logicians are clueless in how to handle it.


I do not think the last sentence is an adequate description of what linear logic is, or how it's used and understood.

It is interesting in itself, I admit that. But I don't see how it would admit contradiction, or how logicians are clueless how to handle it. It is in fact well understood, and used in many places, e.g. computer science [1,2]

[1] https://en.m.wikipedia.org/wiki/Linear_logic

[2] https://plato.stanford.edu/entries/logic-linear/




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

Search: