# More intuitive explanations!

The post on two easy to grasp explanations on [Gödel's theorem and the Banach-Tarski paradox](/r/discussion/lw/98a/explained_g%C3%B6dels_theorem_and_the_banachtarski/) made me think of other explanations that I found easy or insightful and that I could share them as well.

1) Here is a nice [**proof of the Pythagorean theorem**](http://www.cut-the-knot.org/pythagoras/index.shtml):

![](http://kruel.co/img/pt.gif)

2) An easy and concise **[explanation of expected utility calculations](http://facingthesingularity.com/2011/the-laws-of-thought/)** by Luke Muehlhauser:

> Decision theory is about choosing among possible actions based on how much you desire the possible outcomes of those actions.
> 
> How does this work? We can describe what you want with something called a _utility function_, which assigns a number that expresses how much you desire each possible outcome (or “description of an entire possible future”). Perhaps a single scoop of ice cream has 40 “utils” for you, the death of your daughter has -⁠274,000 utils for you, and so on. This numerical representation of everything you care about is your utility function.
> 
> We can combine your probabilistic beliefs and your utility function to calculate the _expected utility_ for any action under consideration. The expected utility of an action is the average utility of the action’s possible outcomes, weighted by the probability that each outcome occurs.
> 
> Suppose you’re walking along a freeway with your young daughter. You see an ice cream stand across the freeway, but you recently injured your leg and wouldn’t be able to move quickly across the freeway. Given what you know, if you send your daughter across the freeway to get you some ice cream, there’s a 60% chance you’ll get some ice cream, a 5% your child will be killed by speeding cars, and other probabilities for other outcomes.
> 
> To calculate the expected utility of sending your daughter across the freeway for ice cream, we multiply the utility of the first outcome by its probability: 0.6 × 40 = 24. Then, we add to this the product of the next outcome’s utility and its probability: 24 + (0.05 × -⁠274,000) = -⁠13,676. And suppose the sum of the products of the utilities and probabilities for other possible outcomes was 0. The expected utility of sending your daughter across the freeway for ice cream is thus _very low_ (as we would expect from common sense). You should probably take one of the _other_ actions available to you, for example the action of _not_ sending your daughter across the freeway for ice cream — or, some action with even _higher_ expected utility.
> 
> A rational agent aims to maximize its expected utility, because an agent that does so will on average get the _most possible_ of what it wants, given its beliefs and desires.

3) [**Micro- and macroevolution**](http://kruel.co/micro-macroevolution.jpg) visualized.

4) **[Slopes of Perpendicular Lines](http://mathforum.org/library/drmath/view/54476.html)**.

5) [**Proof of Euler's formula**](http://en.wikipedia.org/wiki/Euler%27s_formula#Using_power_series) using power series expansions.

6) **[Proof of the Chain Rule](http://kruel.co/math/chainrule.pdf)**.

7) **[Multiplying Negatives Makes A Positive](http://www.mathsisfun.com/multiplying-negatives.html)**.

8) [**Completing the Square**](http://www.mathsisfun.com/algebra/completing-square.html) and **[Derivation of Quadratic Formula](http://www.mathsisfun.com/algebra/quadratic-equation-derivation.html)**.

9) **[Quadratic factorization](http://en.wikipedia.org/wiki/Quadratic_equation#Quadratic_factorization)**.

10) **[Remainder Theorem and Factor Theorem](http://www.mathsisfun.com/algebra/polynomials-remainder-factor.html)**.

11) [**Combinations with repetitions**](http://www.scribd.com/doc/36270691/Combinations-With-Repetitions).

12) **[Löb's theorem](http://www.tark.org/proceedings/tark_mar19_86/p341-smullyan.pdf)**.

[](http://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&ved=0CCEQFjAA&url=http%3A%2F%2Fdl.acm.org%2Fcitation.cfm%3Fid%3D22652&ei=czgHT8qPDMnysgaEveCCDw&usg=AFQjCNHTe0OAFbSspZNgP9XRquCPI6gUBA&sig2=1-I_kYyoN6rgSj5-6SHk8w)