blog/content/quotes/2008/01/26/2008-01-26-00000771.md

98 lines
5.8 KiB
Markdown
Raw Normal View History

2019-03-31 11:00:21 +00:00
---
title: 『数学でつまずくのはなぜか (講談社現代新書)』
author: kazu634
2021-02-27 13:04:45 +00:00
date: 2008-01-26T15:04:05Z
2021-02-23 13:15:28 +00:00
author:
- kazu634
2019-03-31 11:00:21 +00:00
categories:
2021-02-27 12:05:32 +00:00
- Quotes
tags:
- book
2019-03-31 11:00:21 +00:00
---
<div class="section">
<p>
 <a href="http://blog.livedoor.jp/dankogai/archives/50987985.html" onclick="__gaTracker('send', 'event', 'outbound-article', 'http://blog.livedoor.jp/dankogai/archives/50987985.html', 'Perlの偉い人');" target="_blank">Perlの偉い人</a>が紹介していたので、購入。この本が対象とする人はきわめて簡単に見分けられるような気がする。次の文章に興味がわいた人はみんな読むべき!!
</p>
<blockquote>
<p>
数学は、紆余曲折の末作りあげられてきたし、まだ完成からほど遠いものだ。今の数学は、宇宙からそのままの形で降ってきたものではなく、数学者たちが歴史の中で悪戦苦闘して作りあげたものだ。その過程で、失敗も間違いもあったし、遠回りもした。だから、現在の数学にはその傷として「でこぼこ」がまだたくさんあって、それで人は足を取られて転んでしまうのだ。数学につまずいたからといって、それはあなたの落ち度ではない。それは数学に「でこぼこ」があるせいなのだ。けれどその「でこぼこ」は、数学の人間臭さなのだから、あなたはひょいひょいとかわして歩く必要はない。転んだら立ち上がればいいし、何度も転ぶならそこだけ迂回して進めばいいと思う。
</p>
</blockquote>
<p>
こんな感じで、自分みたいな高校まで学んだ数学のことを「きれいに磨き上げられた、完璧な体系」と思いこんでいた人が想定する読者なのではないかなと思う。
</p>
<p>
 一番興味を抱いたのは、「ゲーテルの不完全性定理」のところ。こいつは
</p>
<blockquote title="ゲーデルの不完全性定理 - Wikipedia" cite="http://ja.wikipedia.org/wiki/%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86">
<p>
ゲーデルの不完全性定理ゲーデルのふかんぜんせいていり、独語Go&#8221;delsche Unvollsta&#8221;ndigkeitssatz、英語 Go&#8221;del&#8217;s incompleteness theorems又は単に不完全性定理とは、数学基礎論における重要な定理の一つで、クルト・ゲーデルが1931年に発表したもの。
</p>
<dl>
<dt>
第1不完全性定理
</dt>
<dd>
自然数論を含む帰納的に記述できる公理系が、ω無矛盾であれば、証明も反証もできない命題が存在する。
</dd>
<dt>
第2不完全性定理
</dt>
<dd>
自然数論を含む帰納的に記述できる公理系が、無矛盾であれば、自身の無矛盾性を証明できない。
</dd>
</dl>
<p>
<cite><a href="http://ja.wikipedia.org/wiki/%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86" onclick="__gaTracker('send', 'event', 'outbound-article', 'http://ja.wikipedia.org/wiki/%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86', 'ゲーデルの不完全性定理 &#8211; Wikipedia');" target="_blank">ゲーデルの不完全性定理 &#8211; Wikipedia</a></cite>
</p>
</blockquote>
<p>
というやつで、数学的に「ある体系内部には、その体系内部のルールでは説明できない事象が必ず存在する」ということを証明したものであるらしい。数学的な証明が哲学の領域に入ってきてるような気がして、非常に驚いたぜよ。
</p>
<div class="hatena-asin-detail">
<a href="http://www.amazon.co.jp/dp/4062879255/?tag=hatena_st1-22&ascsubtag=d-7ibv" onclick="__gaTracker('send', 'event', 'outbound-article', 'http://www.amazon.co.jp/dp/4062879255/?tag=hatena_st1-22&ascsubtag=d-7ibv', '');"><img src="https://images-na.ssl-images-amazon.com/images/I/31oPnm71LkL._SL160_.jpg" class="hatena-asin-detail-image" alt="数学でつまずくのはなぜか (講談社現代新書)" title="数学でつまずくのはなぜか (講談社現代新書)" /></a></p>
<div class="hatena-asin-detail-info">
<p class="hatena-asin-detail-title">
<a href="http://www.amazon.co.jp/dp/4062879255/?tag=hatena_st1-22&ascsubtag=d-7ibv" onclick="__gaTracker('send', 'event', 'outbound-article', 'http://www.amazon.co.jp/dp/4062879255/?tag=hatena_st1-22&ascsubtag=d-7ibv', '数学でつまずくのはなぜか (講談社現代新書)');">数学でつまずくのはなぜか (講談社現代新書)</a>
</p>
<ul>
<li>
<span class="hatena-asin-detail-label">作者:</span> <a href="http://d.hatena.ne.jp/keyword/%BE%AE%C5%E7%B4%B2%C7%B7" onclick="__gaTracker('send', 'event', 'outbound-article', 'http://d.hatena.ne.jp/keyword/%BE%AE%C5%E7%B4%B2%C7%B7', '小島寛之');" class="keyword">小島寛之</a>
</li>
<li>
<span class="hatena-asin-detail-label">出版社/メーカー:</span> <a href="http://d.hatena.ne.jp/keyword/%B9%D6%C3%CC%BC%D2" onclick="__gaTracker('send', 'event', 'outbound-article', 'http://d.hatena.ne.jp/keyword/%B9%D6%C3%CC%BC%D2', '講談社');" class="keyword">講談社</a>
</li>
<li>
<span class="hatena-asin-detail-label">発売日:</span> 2008/01/18
</li>
<li>
<span class="hatena-asin-detail-label">メディア:</span> 新書
</li>
<li>
<span class="hatena-asin-detail-label">購入</span>: 50人 <span class="hatena-asin-detail-label">クリック</span>: 1,019回
</li>
<li>
<a href="http://d.hatena.ne.jp/asin/4062879255" onclick="__gaTracker('send', 'event', 'outbound-article', 'http://d.hatena.ne.jp/asin/4062879255', 'この商品を含むブログ (101件) を見る');" target="_blank">この商品を含むブログ (101件) を見る</a>
</li>
</ul>
</div>
<div class="hatena-asin-detail-foot">
</div>
</div>
</div>