It's more like "it's impossible to prove that every pizza isn't poisonous, becau... | Hacker News

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

		thewakalix on Jan 12, 2021 \| parent \| context \| favorite \| on: Superintelligence cannot be contained: Lessons fro... It's more like "it's impossible to prove that every pizza isn't poisonous, because here's a proof that a certain pizza contains cyanide." Some particular pizza might very well be non-poisonous, but this is a statement about all pizzas.

cambalache on Jan 13, 2021 [–]

No, you are confusing the metaphor. In this case the pizza is the harming algo, the cyanide the halting problem and the poisonous quality the fact they are undecidable or not. You are not reasoning about a set of pizzas , just one pizza in particular.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact