Zobrazeno 1 - 8
of 8
pro vyhledávání: '"synthetic computability theory"'
Autor:
Kirst, Dominik, Peters, Benjamin
Gödel published his groundbreaking first incompleteness theorem in 1931, stating that a large class of formal logics admits independent sentences which are neither provable nor refutable. This result, in conjunction with his second incompleteness th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3f6f63d6692e730f0e796daaaa47f5f6
Publikováno v:
ITP 2022-13th International Conference on Interactive Theorem Proving
ITP 2022-13th International Conference on Interactive Theorem Proving, Aug 2022, Haifa, Israel
ITP 2022-13th International Conference on Interactive Theorem Proving, Aug 2022, Haifa, Israel
We present a generalised, constructive, and machine-checked approach to Kolmogorov complexity in the constructive type theory underlying the Coq proof assistant. By proving that nonrandom numbers form a simple predicate, we obtain elegant proofs of u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::268963f77c934d4e10796f788240596f
https://inria.hal.science/hal-03596267
https://inria.hal.science/hal-03596267
Autor:
Forster, Yannick
"Church’s thesis" (CT) as an axiom in constructive logic states that every total function of type ℕ → ℕ is computable, i.e. definable in a model of computation. CT is inconsistent both in classical mathematics and in Brouwer’s intuitionism
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::da3f90ed89e0a605d84ada90064ebf95
http://arxiv.org/abs/2009.00416
http://arxiv.org/abs/2009.00416
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Andrej Bauer
Publikováno v:
MFPS
Computability theory, which investigates computable functions and computable sets, lies at the foundation of computer science. Its classical presentations usually involve a fair amount of Gödel encodings which sometime obscure ingenious arguments. C
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0cabbd280a64081121e3fa866dde6ad4
