Thanks for great write-up, fun to read! I only notices one tiny typo: "when appl... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

andy-x on Nov 16, 2020 | parent | context | favorite | on: What Gödel Discovered

Thanks for great write-up, fun to read! I only notices one tiny typo: "when apples are a fruit, then bananas or applies implies bananas or fruits" - "applies" should be "apples" I guess.

gweinberg on Nov 16, 2020 | [–]

And "pairs" should be "pears"!

stopachka on Nov 16, 2020 | | [–]

Will address both, thanks team!

wumms on Nov 16, 2020 | [–]

Two more typos:

> These symbols map closely to the logical statements we are used too in programming.

too => to

> Hofstadter’s “I’m a Stange Loop”

Stange => Strange

stopachka on Nov 17, 2020 | [–]

Great catches! Updating now -- may take a few mins to show up

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact