Kevin Lacker

lacker.io

TODO: insert description here

Popular posts: 2
Total points: 642
HN comments: 302
Rank: #3,821 personal

Visit lacker.io → RSS feedOn Hacker News Jul 2020 – Feb 2022

Software Engineering 1 Math & Algorithms 1 AI & Machine Learning 1

Most points Most discussed Most cited Newest

Gödel's Incompleteness Theorem in Bash

2022189 points68 comments Math & Algorithms details

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