6 ms·
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 lin
by iamcurious 3y ago
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.
- joloooo 3y agoCan you recommend any resources to learn more about this link?
- iamcurious 3y agoOn 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.
- kbrkbr 3y agoI 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 https://en.m.wikipedia.org/wiki/Linear_logic [2] https://plato.stanford.edu/entries/logic-linear/ https://plato.stanford.edu/entries/logic-linear/