scientific article; zbMATH DE number 1870126

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

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?)

Mathematics Subject Classification ID

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

   Recommendations

• Löb's theorem in a set theoretical setting 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎

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)