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 archives
Active forum topics

Recent comments
5 weeks 6 days ago
10 weeks 1 day ago
11 weeks 5 days ago
11 weeks 5 days ago
14 weeks 3 days ago
19 weeks 18 hours ago
19 weeks 20 hours ago
19 weeks 3 days ago
19 weeks 3 days ago
22 weeks 2 days ago