Rice’s theorem
busy-beavers.tigyog.app
external-link
Turing famously showed that computers can’t decide whether your code halts. But in 1951, Henry Rice proved a much more devastating result: “computers can’t decide anything interesting about your code’s input-output!” In this chapter, you’ll learn exactly what he meant, and how he proved it, by building on Turing’s famous theorem.
General Programming Discussion
!programming

    A general programming discussion community.

    Rules:

    1. Be civil.

    Other communities:

    • /c/rust
    • /c/python
    • /c/powershell
    • /c/haskell
    • /c/fpcomplete
    • /c/cpp
    • /c/c_programming
    • /c/julia
    • 0 users online
    • 4 users / day
    • 14 users / week
    • 34 users / month
    • 113 users / 6 months
    • 3.1K subscribers
    • 1.05K Posts
    • 1.3K Comments
    • Modlog