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…

Very interesting article, thanks !

@ace
37M

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 programming communities:

    • /c/rust
    • /c/python
    • /c/powershell
    • /c/haskell
    • /c/fpcomplete
    • /c/cpp
    • /c/c_programming
    • /c/julia
    • 0 users online
    • 9 users / day
    • 12 users / week
    • 25 users / month
    • 188 users / 6 months
    • 2366 subscribers
    • 623 Posts
    • 809 Comments
    • Modlog