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  11684 reads

Browse archivesActive forum topics 
Recent comments
1 day 55 min ago
1 day 5 hours ago
2 days 5 hours ago
2 days 7 hours ago
2 days 13 hours ago
3 days 6 hours ago
3 days 15 hours ago
4 days 2 hours ago
4 days 3 hours ago
4 days 3 hours ago