「ヘンタイよいこ」新井紀子は明日への希望を忘れない。 - ほぼ日刊イトイ新聞

「はじめまして」の座談会。 少しずつ数学の本質に迫ります。 ラッセルのパラドックス 早野 アメリカで大学院まで行かれて、 そこで学んだ数学基礎論がどういうものか、 簡単に説明していただくことはできますか？ 新井 数学って、たとえば物理と相性のいい「解析」とか、 いろんな分野にマッチした数学があるんですけど、 そのいろんな数学をたばねる 「全体の数学」を「数学する」ところなんです、 数学基礎論って。 早野 ええ。 新井 数学基礎論がどうして生まれたかというと、 数学が、19世紀のおわりに一度 深刻な危機に陥ったからなんです。 糸井 ほぉ。 新井 数学はギリシャ時代からずっと整備されてきて、 科学の言葉として使われてきました。 近代科学や現代科学は ぜんぶ数学の上に成り立っています。 早野 うん。 新井 それなのに、20世紀にはいってすぐ、 バートランド・ラッセルという人が 明確な形で問題を提

[tbpg]

"アラン・チューリングがコンピュータの原理に自然にたどり着いちゃった。"

[wed7931]

ラッセルのパラドックスに始まる数学基礎論とチューリングのコンピュータの原理。とてもわかりやすい説明です。