<?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>Standing on the Shoulder of Linus &#187; 直観主義</title>
	<atom:link href="http://ounziw.com/tag/%e7%9b%b4%e8%a6%b3%e4%b8%bb%e7%be%a9/feed/" rel="self" type="application/rss+xml" />
	<link>http://ounziw.com</link>
	<description>Ask not what your community can do for you. Ask what you can do for your community.</description>
	<lastBuildDate>Mon, 21 May 2012 22:42:24 +0000</lastBuildDate>
	<language>ja</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.3.2</generator>
		<item>
		<title>集合の濃度</title>
		<link>http://ounziw.com/2009/07/14/%e9%9b%86%e5%90%88%e3%81%ae%e6%bf%83%e5%ba%a6/</link>
		<comments>http://ounziw.com/2009/07/14/%e9%9b%86%e5%90%88%e3%81%ae%e6%bf%83%e5%ba%a6/#comments</comments>
		<pubDate>Tue, 14 Jul 2009 04:19:14 +0000</pubDate>
		<dc:creator>mizuno</dc:creator>
				<category><![CDATA[math]]></category>
		<category><![CDATA[数学]]></category>
		<category><![CDATA[直観主義]]></category>

		<guid isPermaLink="false">http://ounziw.com/?p=67</guid>
		<description><![CDATA[無限集合の大きさについては、濃度という考えをします。2つの無限集合があったとき、その要素の間に、一対一対応がつけられれば、その集合の濃度は同じ、とみなします。 整数の集合と、2の倍数の集合とは、同じ濃度です。整数xに対して、2の倍数2xが一対一対応するからです。整数であって2の倍数でないものも存在するのですが、数学の世界ではそうなっています。 これには、不可思議な印象を持つかもしれませんね。私も変だと思います。おそらく、数学が、体系の整合性や簡潔性を重んじるからだと思います。 一対一対応を元に議論を展開するのはまだ納得できます。しかしながら、上手い対応を見つけることに依存しているのはいかかがなものか、と思います。(例えば、整数xが2の倍数であれば、2の倍数の集合のxと対応付けると、上手くいきません。) 高校生の頃に、この辺りのことを考え出してから、数学そのものに対する違和感を感じるようになりました。そのため、認知科学や人工知能に興味が移っていきました。 数学の体系は、全知全能を前提とするもので、いわば神の世界のようなものです。一方で、ヒトの思考は異なるものだと思います。もちろん、こっちが良いとか悪いとかいう話ではありません。異なるものだ、ということです。私には、ブラウアーの直観主義論理の議論が凄く納得のいくものだったのです。 数学の専門家の方がいたら意見や批判等遠慮なくどうぞ。 Related posts: 一対一対応 原始ピタゴラス数 コマ大　4&#215;4の点を6本で
Related posts:<ol>
<li><a href='http://ounziw.com/2009/06/21/one-to-one/' rel='bookmark' title='一対一対応'>一対一対応</a></li>
<li><a href='http://ounziw.com/2009/08/02/pythagoras/' rel='bookmark' title='原始ピタゴラス数'>原始ピタゴラス数</a></li>
<li><a href='http://ounziw.com/2010/03/21/4x4/' rel='bookmark' title='コマ大　4&#215;4の点を6本で'>コマ大　4&#215;4の点を6本で</a></li>
</ol>]]></description>
		<wfw:commentRss>http://ounziw.com/2009/07/14/%e9%9b%86%e5%90%88%e3%81%ae%e6%bf%83%e5%ba%a6/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
	</channel>
</rss>

