User loginNavigation 
Introduction to computability logic
Introduction to computability logic (preprint)
... The intuitive notion of (interactive) computational problems is formalized as a certain new, proceduralrulefree sort of games (called static games) between the machine and the environment, and computability is understood as existence of an interactive Turing machine that wins the game against any possible environment.To all the lovers of games (and Turing machines :) To claim relevance to PLT: computability logic can be seen as an alternative to linear logic (both being resourceaware). Also, interactive programming can be seen as a game between a programmer and PL environment... Actually, I enjoyed the first part of the paper more (before getting to Turing machine). By Andris Birkmanis at 20040820 16:02  LtU Forum  previous forum topic  next forum topic  other blogs  12302 reads

Browse archivesActive forum topics 
Recent comments
1 week 3 days ago
1 week 5 days ago
3 weeks 2 days ago
3 weeks 2 days ago
3 weeks 3 days ago
5 weeks 10 hours ago
5 weeks 2 days ago
5 weeks 2 days ago
5 weeks 3 days ago
6 weeks 2 days ago