“Wrong-way reductions” are a fallacy only smart people fall into: turning a messy tractable problem into a tidy impossible one.
-
-
Example of wrong-way reduction: “encode all knowledge as logical axioms, then automated theorem-prover would give answer to all problems!”
-
We have total technical certainty that this cannot be done, but it’s still somehow an attractor in idea-space for a certain type of geek.
- 5 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.