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

Browse archives
Active forum topics 
Recent comments
20 weeks 5 days ago
20 weeks 5 days ago
20 weeks 5 days ago
43 weeks 2 hours ago
47 weeks 2 days ago
48 weeks 6 days ago
48 weeks 6 days ago
51 weeks 4 days ago
1 year 4 weeks ago
1 year 4 weeks ago