scientific article; zbMATH DE number 3817693

zbMATH Open0517.03022MaRDI QIDQ3665095FDOQ3665095

Authors: Gheorghe Păun, Cristian S. Calude 

Publication date: 1983

Full work available at URL: https://eudml.org/doc/92177

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

zbMATH Keywords

consistent extensionundecidable problemsrecursive arithmeticGoedel numbering

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25) Computability and recursion theory (03D99) Proof theory and constructive mathematics (03F99)

Cites Work

• Title not available (Why is that?)
• A variant of a recursively unsolvable problem
• Title not available (Why is that?)
• Title not available (Why is that?)
• Scattered context grammars
• Title not available (Why is that?)
• Programmed Grammars and Classes of Formal Languages
• Simple matrix languages with a leftmost restriction

Cited In (3)

• Is independence an exception?
• Incompleteness and the halting problem
• Is complexity a source of incompleteness?

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