<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>JoËoL</title>
	<atom:link href="http://joeol.com/feed" rel="self" type="application/rss+xml" />
	<link>http://joeol.com</link>
	<description>Portentous.</description>
	<lastBuildDate>Fri, 18 May 2012 14:43:31 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.3.2</generator>
		<item>
		<title>Paradox Extended and Clarification</title>
		<link>http://joeol.com/paradox-extended-and-clarification</link>
		<comments>http://joeol.com/paradox-extended-and-clarification#comments</comments>
		<pubDate>Fri, 18 May 2012 14:32:19 +0000</pubDate>
		<dc:creator>JoËoL</dc:creator>
				<category><![CDATA[Mathematics]]></category>
		<category><![CDATA[fractal]]></category>
		<category><![CDATA[infinite]]></category>
		<category><![CDATA[infinity]]></category>
		<category><![CDATA[math]]></category>
		<category><![CDATA[mathematics]]></category>
		<category><![CDATA[paradox]]></category>
		<category><![CDATA[problem]]></category>
		<category><![CDATA[recursion]]></category>

		<guid isPermaLink="false">http://joeol.com/?p=725</guid>
		<description><![CDATA[A problem came up in the comments of the previous post ("A Funny Paradox") which I think could use some further explanation and will also help to explain the source and logic (which is not crazy logic if you can see it) behind the paradox in the linked post above. <a href="http://joeol.com/paradox-extended-and-clarification#more-'" class="more-link">more »</a>]]></description>
			<content:encoded><![CDATA[<p>A problem came up in the comments of the previous post (<a href="http://joeol.com/a-funny-paradox">"A Funny Paradox"</a>) which I think could use some further explanation and will also help to explain the source and logic (which is not crazy logic if you can see it) behind the paradox in the linked post above. The problem is this:</p>
<p>Prove whether or not the following expression exists. If it does exist, find its value:</p>
<p><p style='text-align:center;'><span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_50ff05cfd695269d424e6bfe9776d76c.gif' style='vertical-align: middle; border: none;' class='tex' alt="\sqrt{7-\sqrt{7-\sqrt{7-\sqrt{\cdots}}}}." /></span><script type='math/tex;  mode=display'>\sqrt{7-\sqrt{7-\sqrt{7-\sqrt{\cdots}}}}.</script></p></p>
<p>Assuming that an answer exists, it is easy to find a solution. We can let <p style='text-align:center;'><span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_7b91380d2e6e215293f1718e0e8483ee.gif' style='vertical-align: middle; border: none;' class='tex' alt="x=\sqrt{7-\sqrt{7-\sqrt{7-\sqrt{\cdots}}}}." /></span><script type='math/tex;  mode=display'>x=\sqrt{7-\sqrt{7-\sqrt{7-\sqrt{\cdots}}}}.</script></p> Then by the nature of infinity, each part beginning with the square root is the exact same as the whole, therefore the equation becomes <p style='text-align:center;'><span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_1eaba392786015949efe465fe1f4eb93.gif' style='vertical-align: middle; border: none;' class='tex' alt="x=\sqrt{7-x}." /></span><script type='math/tex;  mode=display'>x=\sqrt{7-x}.</script></p> So backwards-similar to the paradox in the <a href="http://joeol.com/a-funny-paradox">previous post</a>, we have made a finite equation out of an infinite expression, and this of course is easily solved as a quadratic, taking only the positive solution.</p>
<p>The problem comes in trying to show that it exists. I personally do not think it can be done, at least not in a real sense. My professor tried to prove that it does exist by starting with <span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_1801cfc88edd59ca7296ac197514e703.gif' style='vertical-align: middle; border: none; ' class='tex' alt="\sqrt{7}" /></span><script type='math/tex'>\sqrt{7}</script> then <span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_b19091e9310a13a11c1114d2506222cd.gif' style='vertical-align: middle; border: none; ' class='tex' alt="\sqrt{7-\sqrt{7}}" /></span><script type='math/tex'>\sqrt{7-\sqrt{7}}</script>, and so on, showing that this converges as you repeat the process to infinity. And then my professor (a wonderful number theorist) concluded that this means the infinite expression exists. And then to solve it, it can be set up as before.</p>
<p>But my problem is that the seed of <span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_1801cfc88edd59ca7296ac197514e703.gif' style='vertical-align: middle; border: none; ' class='tex' alt="\sqrt{7}" /></span><script type='math/tex'>\sqrt{7}</script> is always there in the proof that it exists, while in fact there is no such seed, as it repeats to infinity. So in a counter-example, I can create a similar problem:</p>
<p>Prove whether or not the following expression has a solution, and if so solve it: <p style='text-align:center;'><span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_806fff3ae8778a07240102cbde7e3586.gif' style='vertical-align: middle; border: none;' class='tex' alt="1(1(1(1(\cdots))))." /></span><script type='math/tex;  mode=display'>1(1(1(1(\cdots)))).</script></p><br />
Then, to prove that it exists, start with <span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_c4ca4238a0b923820dcc509a6f75849b.gif' style='vertical-align: middle; border: none; padding-bottom:1px;' class='tex' alt="1" /></span><script type='math/tex'>1</script>, then <span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_aad11223d63a90ab3c4875d708ca0027.gif' style='vertical-align: middle; border: none; ' class='tex' alt="1(1)" /></span><script type='math/tex'>1(1)</script>, and so on. This obviously converges as we repeat the process. Then to solve it, say <p style='text-align:center;'><span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_77466c813064b9f65b202af754e29812.gif' style='vertical-align: middle; border: none;' class='tex' alt="x=1(1(1(1(\cdots))))." /></span><script type='math/tex;  mode=display'>x=1(1(1(1(\cdots)))).</script></p> Then because of the nature of infinity, each part beginning with <span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_c4ca4238a0b923820dcc509a6f75849b.gif' style='vertical-align: middle; border: none; padding-bottom:1px;' class='tex' alt="1" /></span><script type='math/tex'>1</script> is equal to the whole, thus <p style='text-align:center;'><span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_10b8112e2d4ced83dd4f01c1ff381d9b.gif' style='vertical-align: middle; border: none;' class='tex' alt="x=1(x)." /></span><script type='math/tex;  mode=display'>x=1(x).</script></p> Then <span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_9dd4e461268c8034f5c8564e155c67a6.gif' style='vertical-align: middle; border: none; padding-bottom:2px;' class='tex' alt="x" /></span><script type='math/tex'>x</script> is any real number. Then the solution to the converging expression <span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_6586122059eda42b89d1c1badb242065.gif' style='vertical-align: middle; border: none; ' class='tex' alt="1(1(1(1(\cdots))))" /></span><script type='math/tex'>1(1(1(1(\cdots))))</script> is <p style='text-align:center;'><span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_ada8ab3b11ec8db716c6b592bd92640c.gif' style='vertical-align: middle; border: none;' class='tex' alt="x=1(1(1(1(\cdots))))=\text{ any real number }." /></span><script type='math/tex;  mode=display'>x=1(1(1(1(\cdots))))=\text{ any real number }.</script></p> And this is obviously nonsensical as we know very well that no matter how many times you multiply <span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_c4ca4238a0b923820dcc509a6f75849b.gif' style='vertical-align: middle; border: none; padding-bottom:1px;' class='tex' alt="1" /></span><script type='math/tex'>1</script> by <span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_c4ca4238a0b923820dcc509a6f75849b.gif' style='vertical-align: middle; border: none; padding-bottom:1px;' class='tex' alt="1" /></span><script type='math/tex'>1</script> you still have <span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_c4ca4238a0b923820dcc509a6f75849b.gif' style='vertical-align: middle; border: none; padding-bottom:1px;' class='tex' alt="1" /></span><script type='math/tex'>1</script>. Then either our approach is wrong or <p style='text-align:center;'><span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_fd3c7a38085d9601bbdf4e3d09c4844c.gif' style='vertical-align: middle; border: none;' class='tex' alt="1(1(1(1(\cdots))))=1=\text{ any real number }." /></span><script type='math/tex;  mode=display'>1(1(1(1(\cdots))))=1=\text{ any real number }.</script></p> Since the latter makes little mathematical sense, I would conclude that our approach is wrong. What approach can one take to solve the original problem? I have a feeling that for any approach, one could find a counterexample where the process does not hold. What do you think? Is it a poorly formulated problem, or is there in fact a solution?</p>
]]></content:encoded>
			<wfw:commentRss>http://joeol.com/paradox-extended-and-clarification/feed</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>A Funny Paradox</title>
		<link>http://joeol.com/a-funny-paradox</link>
		<comments>http://joeol.com/a-funny-paradox#comments</comments>
		<pubDate>Thu, 19 Apr 2012 04:29:32 +0000</pubDate>
		<dc:creator>JoËoL</dc:creator>
				<category><![CDATA[Mathematics]]></category>
		<category><![CDATA[funny]]></category>
		<category><![CDATA[infinite]]></category>
		<category><![CDATA[math]]></category>
		<category><![CDATA[mathematics]]></category>
		<category><![CDATA[paradox]]></category>
		<category><![CDATA[product]]></category>
		<category><![CDATA[zero]]></category>

		<guid isPermaLink="false">http://joeol.com/?p=616</guid>
		<description><![CDATA[I have just discovered the funniest paradox. Well I think so at least. Take According to our first instincts, should equal . So, either or the initial equation has two solutions . Lol. *Note: For this example, we have used 3, but really any number would do the same thing <a href="http://joeol.com/a-funny-paradox#more-'" class="more-link">more »</a>]]></description>
			<content:encoded><![CDATA[<p>I have just discovered the funniest paradox. Well I think so at least.</p>
<p>Take <p style='text-align:center;'><span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_0d7a0ccda5b01b82a2b954a3cdc7443a.gif' style='vertical-align: middle; border: none;' class='tex' alt="a=3a" /></span><script type='math/tex;  mode=display'>a=3a</script></p> <p style='text-align:center;'><span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_510419b462dfbcc8303942ce80312045.gif' style='vertical-align: middle; border: none;' class='tex' alt="\Rightarrow a=3\underbrace{(3a)}_{=a}" /></span><script type='math/tex;  mode=display'>\Rightarrow a=3\underbrace{(3a)}_{=a}</script></p> <p style='text-align:center;'><span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_ed1f7921c10c3993fd93c240ea455baf.gif' style='vertical-align: middle; border: none;' class='tex' alt="a=3(3\underbrace{(3a)}_{=a})" /></span><script type='math/tex;  mode=display'>a=3(3\underbrace{(3a)}_{=a})</script></p> <p style='text-align:center;'><span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_9bce8d4c1e37d068497f2de3488cf211.gif' style='vertical-align: middle; border: none;' class='tex' alt="a=3(3(3(3a)))" /></span><script type='math/tex;  mode=display'>a=3(3(3(3a)))</script></p> <p style='text-align:center;'><span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_f750e0a797eedef801aaf50716fbd542.gif' style='vertical-align: middle; border: none;' class='tex' alt="\vdots" /></span><script type='math/tex;  mode=display'>\vdots</script></p> <p style='text-align:center;'><span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_299f2be75a36e2c268bb5d619b31cffb.gif' style='vertical-align: middle; border: none;' class='tex' alt="a=\prod_{n=1}^{\infty}{3}" /></span><script type='math/tex;  mode=display'>a=\prod_{n=1}^{\infty}{3}</script></p></p>
<p>According to our first instincts, <span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_0cc175b9c0f1b6a831c399e269772661.gif' style='vertical-align: middle; border: none; padding-bottom:2px;' class='tex' alt="a" /></span><script type='math/tex'>a</script> should equal <span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_cfcd208495d565ef66e7dff9f98764da.gif' style='vertical-align: middle; border: none; padding-bottom:1px;' class='tex' alt="0" /></span><script type='math/tex'>0</script>. So, either <p style='text-align:center;'><span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_6f2ee594fd20a10e373fa1cf04b05e31.gif' style='vertical-align: middle; border: none;' class='tex' alt="0=\prod_{n=1}^{\infty}{3}" /></span><script type='math/tex;  mode=display'>0=\prod_{n=1}^{\infty}{3}</script></p> or the initial equation has two solutions <p style='text-align:center;'><span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_1dcaf87ffbec1cf85b3733ff1083638e.gif' style='vertical-align: middle; border: none;' class='tex' alt="a=0 \ \text{or} \ a=\prod_{n=1}^{\infty}{3}" /></span><script type='math/tex;  mode=display'>a=0 \ \text{or} \ a=\prod_{n=1}^{\infty}{3}</script></p>.</p>
<p>Lol.</p>
<p>*Note: For this example, we have used 3, but really any number would do the same thing (except anything between -1 and 1 whose infinite product would just converge to 0).</p>
<p>And we could extend this paradox further to say <p style='text-align:center;'><span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_31b8b150923e05935c2c39de38b2d856.gif' style='vertical-align: middle; border: none;' class='tex' alt="a=1a=1(1a)=1(1(1a))=\dots =\prod_{n=1}^{\infty}{1}=1" /></span><script type='math/tex;  mode=display'>a=1a=1(1a)=1(1(1a))=\dots =\prod_{n=1}^{\infty}{1}=1</script></p><br />
So <span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_3872c9ae3f427af0be0ead09d07ae2cf.gif' style='vertical-align: middle; border: none; padding-bottom:1px;' class='tex' alt="a=1" /></span><script type='math/tex'>a=1</script>. But basic math tells us that if <span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_2581b260c125120c51396961fa99e2ac.gif' style='vertical-align: middle; border: none; padding-bottom:1px;' class='tex' alt="a=1a" /></span><script type='math/tex'>a=1a</script> then <span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_0cc175b9c0f1b6a831c399e269772661.gif' style='vertical-align: middle; border: none; padding-bottom:2px;' class='tex' alt="a" /></span><script type='math/tex'>a</script> can be anything, since anything multiplied by <span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_c4ca4238a0b923820dcc509a6f75849b.gif' style='vertical-align: middle; border: none; padding-bottom:1px;' class='tex' alt="1" /></span><script type='math/tex'>1</script> is just itself. So <p style='text-align:center;'><span class='MathJax_Preview'><img src='http://joeol.com/wp-content/plugins/latex/cache/tex_af1fc7194fef5410c5937132b3093860.gif' style='vertical-align: middle; border: none;' class='tex' alt="a=1=\text{any real number}" /></span><script type='math/tex;  mode=display'>a=1=\text{any real number}</script></p></p>
]]></content:encoded>
			<wfw:commentRss>http://joeol.com/a-funny-paradox/feed</wfw:commentRss>
		<slash:comments>4</slash:comments>
		</item>
	</channel>
</rss>

