## 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

9 hours 9 min ago

11 hours 8 min ago

17 hours 3 min ago

1 day 9 hours ago

1 day 18 hours ago

2 days 5 hours ago

2 days 6 hours ago

2 days 7 hours ago

2 days 8 hours ago

2 days 8 hours ago