User loginNavigation 
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 CurryHoward 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 archivesActive forum topicsNew forum topics

Recent comments
3 hours 54 min ago
5 hours 13 min ago
5 hours 35 min ago
9 hours 6 min ago
14 hours 58 min ago
15 hours 4 min ago
16 hours 59 min ago
1 day 2 hours ago
1 day 22 hours ago
2 days 8 hours ago