In 1931, a 25-year-old Kurt Gödel wrote a proof that turned mathematics upside down. The implication was so astounding, and his proof so elegant that it was...kind of funny. I wanted to share his d...
@Scholar_Succulent
link
51Y

Very interesting article, thanks !

@ace
link
31Y

I’ve been poorly explaining Gödel’s incompleteness theorem(s) for years. This article will now be my go-to resource when talking about my favorite proof(s).

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 user online
    • 8 user / day
    • 8 user / week
    • 34 user / month
    • 103 user / 6 month
    • 2.53K subscriber
    • 696 Post
    • 905 Comment
    • Modlog