Kevin Lacker personal blog

Gödel's Incompleteness Theorem in Bash

by @lacker lacker.io 4 min read

Gödel’s first incompleteness theorem states that there are mathematical statements that can neither be proven or disproven. His proof is fairly difficult to ...

Points

189

HN comments

68

Submissions

1

Cited by

0 commenters

Math & AlgorithmsSoftware Engineering2022

Related posts from the same era

Bicycle

Bartosz Ciechanowski20233,014 points399 commentscited by 14 details

4B If Statements

AAndreas Karlsson20231,518 points645 comments details

Heuristics that almost always work

Scott Alexander20221,000 points520 commentscited by 14 details

New Orleans teenagers found a new proof of the Pythagorean Theorem

Keith McNulty2023949 points251 comments details

Knuth's Art of Computer Programming, V 4B, has gone into print

DDonald Knuth2022940 points513 commentscited by 8 details

Conterintuitive facts in mathematics, CS, and physics

Axis of Ordinary2021936 points323 comments details