scientific article; zbMATH DE number 3523535

zbMATH Open0335.02031MaRDI QIDQ4101810FDOQ4101810

Authors: Georg Kreisel 

Publication date: 1976

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

Mathematics Subject Classification ID

Turing machines and related notions (03D10) Computability and recursion theory (03D99) Proof theory and constructive mathematics (03F99)

Cited In (2)

• Computability of physical operations
• Some thoughts on hypercomputation

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