Vi ger några exempel som visar hur spelteoretiska argument (tillvägagångssättet som går tillbaka till Lachlan och utvecklades av An. Muchnik) kan användas i beräkningsteori och algoritmisk informationsteori. För att illustrera denna teknik, börjar vi med ett bevis på ett klassiskt resultat, den unika numrering teorem Friedberg, översatt till spelet språket. Sedan ger vi spel-teoretiska bevis för tre andra resultat: (1) gapet mellan villkorad komplexitet och total villkorad komplexitet; (2) Epstein-Levin teorem avser en priori och prefix komplexitet för en stokastisk uppsättning (som vi ger en ny spel-teoretiska bevis) och (3)
Det första spelet teoretiska bevis detta teorem kan hittas i REF ].
Game arguments in computability theory and algorithmic information theory
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Mathematics', 'Computer Science']}