User loginNavigation |
Introduction to computability logic
Introduction to computability logic (pre-print)
... The intuitive notion of (interactive) computational problems is formalized as a certain new, procedural-rule-free 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 resource-aware). 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 2004-08-20 16:02 | LtU Forum | previous forum topic | next forum topic | other blogs | 12856 reads
|
Browse archivesActive forum topics |
Recent comments
8 hours 48 min ago
19 hours 30 min ago
1 day 3 hours ago
1 day 4 hours ago
1 day 5 hours ago
1 day 7 hours ago
1 day 8 hours ago
1 day 8 hours ago
1 day 13 hours ago
1 day 17 hours ago