Author:
Calude C.,Jürgensen H.,Zimand M.
Subject
Applied Mathematics,Computational Mathematics
Reference23 articles.
1. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme;Gödel;Monatshefte f. Math. u. Phys.,1931
2. Gödel's Incompleteness Theorems;Smullyan,1992
3. Independence results in computer science;Hartmanis;ACM SIGACT News,1976
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Bibliographie;La prospective stratégique;2023-05-24
2. East-West paths to unconventional computing;Progress in Biophysics and Molecular Biology;2017-12
3. Proofs and mistakes: Their syntactics, semantics, and pragmatics;Semiotica;2012-01
4. Invariance and Universality of Complexity;Computation, Physics and Beyond;2012
5. Topology on words;Theoretical Computer Science;2009-05