## User login## Navigation |
## In the beginning was game semantics
In the beginning was game semantics
Giorgi Japaridze [...] the story and philosophy of computability logic (CL) [...]I already posted links to papers of Giorgi Japaridze several times, but most of them were pretty technical, and also that was before the latest expansion of LtU's readership. In short, CL is about trying to generalize traditional (both classical and intuitionistic) logic beyond batch computation (well, I hope everybody knows why logic is relevant to computation, if not - look for Curry-Howard isomorphism, or CHI). There are several approaches to doing that, but Giorgi believes they go the wrong way by trying to build upon the syntax, while it's semantics that is primary. If you believe that computation is more than calculating a function, and that logic is a good way to understand computation - then I recommend to read at least the introduction and the references' list of this paper (the paper is a single chapter for a book, would love to see the whole book). |
## Browse archives## Active forum topics |

## Recent comments

1 hour 30 min ago

11 hours 2 min ago

11 hours 39 min ago

12 hours 57 min ago

13 hours 10 min ago

17 hours 19 min ago

18 hours 5 min ago

18 hours 5 min ago

1 day 18 min ago

1 day 41 min ago