Matches in SemOpenAlex for { <https://semopenalex.org/work/W2257659013> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2257659013 abstract "Lob's theorem and Godel's theorems make predictions about the behavior of systems capable of self-reference with unbounded computational resources with which to write and evaluate proofs. However, in the real world, systems capable of self-reference will have limited memory and processing speed, so in this paper we introduce an effective version of Lob's theorem which is applicable given such bounded resources. These results have powerful implications for the game theory of bounded agents who are able to write proofs about themselves and one another, including the capacity to out-perform classical Nash equilibria and correlated equilibria, attaining mutually cooperative program equilibrium in the Prisoner's Dilemma. Previous cooperative program equilibria studied by Tennenholtz (2004) and Fortnow (2009) have depended on tests for program equality, a fragile condition, whereas Lobian cooperation is much more robust and agnostic of the opponent's implementation." @default.
- W2257659013 created "2016-06-24" @default.
- W2257659013 creator A5034938018 @default.
- W2257659013 date "2016-02-12" @default.
- W2257659013 modified "2023-09-27" @default.
- W2257659013 title "Parametric Bounded Löb's Theorem and Robust Cooperation of Bounded Agents." @default.
- W2257659013 cites W1511574020 @default.
- W2257659013 cites W1541356759 @default.
- W2257659013 cites W1906859668 @default.
- W2257659013 cites W1935023620 @default.
- W2257659013 cites W1974909295 @default.
- W2257659013 cites W2065820855 @default.
- W2257659013 cites W2105894162 @default.
- W2257659013 cites W2124566008 @default.
- W2257659013 cites W2240086230 @default.
- W2257659013 cites W2908059907 @default.
- W2257659013 hasPublicationYear "2016" @default.
- W2257659013 type Work @default.
- W2257659013 sameAs 2257659013 @default.
- W2257659013 citedByCount "2" @default.
- W2257659013 countsByYear W22576590132016 @default.
- W2257659013 countsByYear W22576590132017 @default.
- W2257659013 crossrefType "posted-content" @default.
- W2257659013 hasAuthorship W2257659013A5034938018 @default.
- W2257659013 hasConcept C105795698 @default.
- W2257659013 hasConcept C108710211 @default.
- W2257659013 hasConcept C11413529 @default.
- W2257659013 hasConcept C117251300 @default.
- W2257659013 hasConcept C118615104 @default.
- W2257659013 hasConcept C134306372 @default.
- W2257659013 hasConcept C144237770 @default.
- W2257659013 hasConcept C177142836 @default.
- W2257659013 hasConcept C199360897 @default.
- W2257659013 hasConcept C24858836 @default.
- W2257659013 hasConcept C2524010 @default.
- W2257659013 hasConcept C2781302003 @default.
- W2257659013 hasConcept C33923547 @default.
- W2257659013 hasConcept C34388435 @default.
- W2257659013 hasConcept C41008148 @default.
- W2257659013 hasConcept C46814582 @default.
- W2257659013 hasConcept C80444323 @default.
- W2257659013 hasConceptScore W2257659013C105795698 @default.
- W2257659013 hasConceptScore W2257659013C108710211 @default.
- W2257659013 hasConceptScore W2257659013C11413529 @default.
- W2257659013 hasConceptScore W2257659013C117251300 @default.
- W2257659013 hasConceptScore W2257659013C118615104 @default.
- W2257659013 hasConceptScore W2257659013C134306372 @default.
- W2257659013 hasConceptScore W2257659013C144237770 @default.
- W2257659013 hasConceptScore W2257659013C177142836 @default.
- W2257659013 hasConceptScore W2257659013C199360897 @default.
- W2257659013 hasConceptScore W2257659013C24858836 @default.
- W2257659013 hasConceptScore W2257659013C2524010 @default.
- W2257659013 hasConceptScore W2257659013C2781302003 @default.
- W2257659013 hasConceptScore W2257659013C33923547 @default.
- W2257659013 hasConceptScore W2257659013C34388435 @default.
- W2257659013 hasConceptScore W2257659013C41008148 @default.
- W2257659013 hasConceptScore W2257659013C46814582 @default.
- W2257659013 hasConceptScore W2257659013C80444323 @default.
- W2257659013 hasLocation W22576590131 @default.
- W2257659013 hasOpenAccess W2257659013 @default.
- W2257659013 hasPrimaryLocation W22576590131 @default.
- W2257659013 hasRelatedWork W1786478901 @default.
- W2257659013 hasRelatedWork W1788846219 @default.
- W2257659013 hasRelatedWork W1996125498 @default.
- W2257659013 hasRelatedWork W2011466281 @default.
- W2257659013 hasRelatedWork W2069888227 @default.
- W2257659013 hasRelatedWork W2085537063 @default.
- W2257659013 hasRelatedWork W2090924287 @default.
- W2257659013 hasRelatedWork W2592938596 @default.
- W2257659013 hasRelatedWork W2605105726 @default.
- W2257659013 hasRelatedWork W2806425558 @default.
- W2257659013 hasRelatedWork W2890118969 @default.
- W2257659013 hasRelatedWork W2941184861 @default.
- W2257659013 hasRelatedWork W2972736415 @default.
- W2257659013 hasRelatedWork W3029340696 @default.
- W2257659013 hasRelatedWork W3037257655 @default.
- W2257659013 hasRelatedWork W3038653784 @default.
- W2257659013 hasRelatedWork W3106803449 @default.
- W2257659013 hasRelatedWork W3125586106 @default.
- W2257659013 hasRelatedWork W3135399029 @default.
- W2257659013 hasRelatedWork W884668373 @default.
- W2257659013 isParatext "false" @default.
- W2257659013 isRetracted "false" @default.
- W2257659013 magId "2257659013" @default.
- W2257659013 workType "article" @default.