scientific article; zbMATH DE number 1870126

DOI10.1023/A:1016104127745zbMATH Open1034.03503MaRDI QIDQ4792806FDOQ4792806

Authors: Michael Detlefsen 

Publication date: 17 February 2003

Published in: Minds and Machines (Search for Journal in Brave)

Title of this publication is not available (Why is that?)

Recommendations

• Löb's theorem in a set theoretical setting
• scientific article; zbMATH DE number 3931006
• A parametric, resource-bounded generalization of Löb's theorem, and a robust cooperation criterion for open-source game theory
• Incompleteness, Mechanism, and Optimism
• Idealization, mechanism, and knowability

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General topics in artificial intelligence (68T01)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4792806)