Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Computer Runtimes and the Length of Proofs - MaRDI portal

Computer Runtimes and the Length of Proofs (Q2891314)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Computer Runtimes and the Length of Proofs
scientific article

    Statements

    title
    Computer Runtimes and the Length of Proofs (English)
    0 references
    author
    Hector Zenil
    0 references
    publication date
    15 June 2012
    0 references
    zbMATH Keywords
    halting problem
    0 references
    halting probability
    0 references
    proof length
    0 references
    automatic theorem proving
    0 references
    busy beaver problem
    0 references
    program-size complexity
    0 references
    small Turing machines
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03F20
    0 references
    03D10
    0 references
    68Q05
    0 references
    68T15
    0 references
    zbMATH DE Number
    6046453
    0 references
    OpenAlex ID
    W1755070918
    0 references
    arXiv ID
    1201.0825
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2891314&oldid=35284354"
    Powered by MediaWiki