It's pretty easy to prove lots of negatives outside of mathematics, too. It's ea... | Hacker News

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

		pxc 20 days ago \| parent \| context \| favorite \| on: Lean proved this program correct; then I found a b... It's pretty easy to prove lots of negatives outside of mathematics, too. It's easy to prove there's no elephant in my living room at the moment.

lou1306 20 days ago [–]

This guy named Ludwig Wittgenstein would like to have a word with you.

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact