scientific article
From MaRDI portal
Publication:3809785
zbMATH Open0661.03032MaRDI QIDQ3809785
Publication date: 1988
Title of this publication is not available (Why is that?)
universal Turing machineregister machine programGรถdel number of a LISP programLISP universal function EVALuniversal exponential Diophantine equation
Higher degree equations; Fermat's equation (11D41) Software, source code, etc. for problems pertaining to number theory (11-04) Turing machines and related notions (03D10)
Related Items (2)
[[Publication:3601842|Title not available (Why is that?)]] โฎ [[Publication:5422265|Title not available (Why is that?)]]
Recommendations
- Title not available (Why is that?) ๐ ๐
- Title not available (Why is that?) ๐ ๐
- Computing halting probabilities from other halting probabilities ๐ ๐
- Asymptotic behavior and halting probability of Turing machines ๐ ๐
- The halting probability Omega: irreducible complexity in pure mathematics ๐ ๐
- A generalized characterization of algorithmic probability ๐ ๐
- Differences of halting probabilities ๐ ๐
- Randomness and halting probabilities ๐ ๐
- A probabilistic anytime algorithm for the halting problem ๐ ๐
- A statistical anytime algorithm for the Halting Problem ๐ ๐
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 Q3809785)