scientific article; zbMATH DE number 1749140

MaRDI QIDQ4530726zbMATH OpenFDO

Authors Benedikt Löwe

Publication date 13 November 2002

zbMATH Keywords

definabilityrevision theory of truthTuring machines

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Turing machines and related notions (03D10)

Recommendations

• Revision sequences and computers with an infinite amount of time
• scientific article; zbMATH DE number 1909830
• Infinite time Turing machines
• New Computational Paradigms
• The Length of Infinite Time Turing Machine Computations
• A Survey of Infinite Time Turing Machines
• On the complexity of infinite sequences
• Infinite time Turing machines with only one tape
• On fixpoint arithmetic and infinite time Turing machines
• Decision times of infinite computations

Cited in

(2)

• Revision sequences and computers with an infinite amount of time
• Periodicity and reflexivity in revision sequences

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