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...
@ace
link
fedilink
32 años

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).

@Scholar_Succulent
link
fedilink
52 años

Very interesting article, thanks !

General Programming Discussion
!programming
Create a post

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
  • 2 users / day
  • 12 users / week
  • 35 users / month
  • 112 users / 6 months
  • 3.1K subscribers
  • 1.06K Posts
  • 1.31K Comments
  • Modlog