Difference between revisions of "Impossibility"

From Lesswrongwiki
Jump to: navigation, search
m
 
(6 intermediate revisions by 3 users not shown)
Line 1: Line 1:
Some things really are Impossible, perpetual motions machines for example.  Other things only seem Impossible, like heavier-than-air flight.
+
Careful use of language dictates that we distinguish between several senses in which something can be said to be '''impossible'''. Some things are ''logically impossible'': you can't have a square circle or an object that is both perfectly black and perfectly not-black. Also, in our [[reductionism|reductionist]] universe operating according to [[Universal law|universal physical laws]], some things are ''physically impossible'' based on our model of how things work, even they are not [[Mind projection fallacy|''obviously'']] contradictory or contrary to reason: for example, the laws of thermodynamics give us a strong guarantee that there can never be a perpetual motion machine.
  
 +
It can be tempting to label as ''impossible'' very difficult problems which you have no idea how to solve. But the apparent lack of a solution is not a strong guarantee that no solution can exist in the way that the laws of thermodynamics, or Godel's incompleteness results, give us proofs that something can not be accomplished. A blank map does not correspond to a blank territory; in the absence of a proof that a problem is insolvable, you can't be confident that you're not just overlooking something that a [[Artificial general intelligence|greater intelligence]] would spot in an instant.
 +
 +
==Blog posts==
 +
=====By [[Eliezer Yudkowsky]]:=====
 +
 +
*[http://lesswrong.com/lw/hy/riskfree_bonds_arent/ Risk-Free Bonds Aren't]
 +
*[http://lesswrong.com/lw/up/shut_up_and_do_the_impossible/ Shut Up and Do the Impossible]
 +
 +
==See also==
  
==See Also==
 
<!-- For related LWiki articles, formatted as a list -->
 
 
*[[Probability]]
 
*[[Probability]]
 
*[[Antiprediction]]
 
*[[Antiprediction]]
 
*[[Black swan]]
 
*[[Black swan]]
 +
*[[Absurdity heuristic]]
  
==References==
+
[[Category:Concepts]]
<!-- Always keep this header if there is at least one reference
 
    Delete or add sections below as necessary -->
 
 
 
=====Overcoming Bias Articles=====
 
<!-- For related Overcoming Bias articles,
 
    formatted as a list with each entry as "/Title/ by /Author/ -->
 
*[http://www.overcomingbias.com/2007/06/risk-free-bonds.html Risk-Free Bonds Aren't] by [[Eliezer Yudkowsky]]
 
{{stub}}
 

Latest revision as of 18:50, 14 November 2009

Careful use of language dictates that we distinguish between several senses in which something can be said to be impossible. Some things are logically impossible: you can't have a square circle or an object that is both perfectly black and perfectly not-black. Also, in our reductionist universe operating according to universal physical laws, some things are physically impossible based on our model of how things work, even they are not obviously contradictory or contrary to reason: for example, the laws of thermodynamics give us a strong guarantee that there can never be a perpetual motion machine.

It can be tempting to label as impossible very difficult problems which you have no idea how to solve. But the apparent lack of a solution is not a strong guarantee that no solution can exist in the way that the laws of thermodynamics, or Godel's incompleteness results, give us proofs that something can not be accomplished. A blank map does not correspond to a blank territory; in the absence of a proof that a problem is insolvable, you can't be confident that you're not just overlooking something that a greater intelligence would spot in an instant.

Blog posts

By Eliezer Yudkowsky:

See also