たとえばユークリッド幾何学での直線は「幅をもたず、両側に方向に無限にのびたまっすぐな線」だそうですが、これも「幅」とは？「(幅を)持つ」とは？両側とは？「方向」の定義は？「無限(限りが無く)」とは？そもそも「限り」って何？「のびる」とは？「まっすぐ」とは？「線」と結論づけるのは循環論法じゃないの？ と突っ込む人にとっては厳密ではなくなっていませんか？ ここで、これらの言葉の意味は、国語辞典に載っている意味と同じものだよなどといおうものなら、それこそ数学の厳密性を否定したようなものになってしまっていると思います。 たとえば「方向」を調べたら「向くこと」とでます。これを調べると「物がある方向を指す」というふうに出ます。これは循環論法に陥ってますし、「物の正面があるものに面する位置にある」という別の語釈もありますが、物とは？正面とは？面するとは？位置とは？となります。これを繰り返せば結局どこかで
執筆者：立原 礼也 公開日：2024年6月8日 再公開日：2024年6月11日 記事の非公開に至った経緯については，別の 記事 「記事非公開の理由（特に，記事のある側面に関するお詫び）と今後の対応｜Reiya Tachihara (note.com)」をご参照ください． 今後も記事を非公開にすることがあるかも知れませんが，予告なく記事が非公開になった場合には，編集ののち，予告なく記事は再公開される予定です． 編集履歴は記事の最後に移植しました． 日本語のわかる方はこの英語は読み飛ばしてください（すぐ下に日本語で同じことが書いてあります）． Note: To avoid malicious editing or selective quoting, please ensure that the content of this article is shared by explicitly i
","naka5":"<!-- BFF501 PC記事下（中⑤企画）パーツ＝1541 -->","naka6":"<!-- BFF486 PC記事下（中⑥デジ編）パーツ＝8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下（中⑥デジ編）パーツ＝8826 -->","adcreative72":"<!-- BFF920 広告枠）ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag ＰＣ誘導枠５行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"
数学の超難問「ＡＢＣ予想」を証明したとする京都大の望月新一教授（５５）の独自理論をめぐって、「理論を修正し、新たにＡＢＣ予想を証明した」とする新理論が登場した。疑問が指摘され、正しさをめぐる決着に１００万ドル（約１・６億円）の賞金がかけられている望月理論にとっては「助け舟」のようにも見えるが、数学… ","naka5":"<!-- BFF501 PC記事下（中⑤企画）パーツ＝1541 -->","naka6":"<!-- BFF486 PC記事下（中⑥デジ編）パーツ＝8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下（中⑥デジ編）パーツ＝8826 -->","adcreative72":"<!-- BFF920 広告枠）ADCREATIVE-72 こんな特集も -->\n<!--
数学証明が社会協定である理由
かなり前に紹介した“証明支援系が一流数学へと飛躍する” の前置きの中で御登場願った欧州某国の知人(非英語圏の方です)が来日を終えて無事に帰国したことを知らせてくれたので、その返信として月並みですが、How did you like Japan?と書き送ったところ、旅行記かと思う程詳細な感想を書き寄越してくれました。その最後のごく一部分をそのまま書けば以下の通りです。 Lastly, I was surprised that most Japanese people didn't understand English. I couldn't have enjoyed myself in Japan without you. I'm indebted to your help. If you're ever here, please feel free to contact me anytim
（ながの・ひろゆき）。永野数学塾塾長。1974年東京生まれ。父は元東京大学教養学部教授の永野三郎（知能情報学）。東京大学理学部地球惑星物理学科卒。同大学院宇宙科学研究所（現JAXA）中退後、ウィーン国立音大へ留学。副指揮を務めた二期会公演モーツァルト「コジ・ファン・トゥッテ」（演出：宮本亞門、指揮：パスカル・ヴェロ）が文化庁芸術祭大賞を受賞。主な著書に『大人のための数学勉強法』（ダイヤモンド社）、『東大→JAXA→人気数学塾塾長が書いた数に強くなる本』（PHP研究所）など。これまでに1000人以上の生徒を数学指導してきた実績を持ち、永野数学塾は、常に予約キャンセル待ちの人気となっている。NHK（Eテレ）「テストの花道」出演。朝日中高生新聞で『マスマスわかる数楽塾』連載（2016ー2018年）。朝日小学生新聞で『マスマス好きになる算数』連載（2019ー2020年）。 とてつもない数学 天才数
数学の研究機関「宇宙際（うちゅうさい）幾何学センター」は2日、数学の超難問「ABC予想」を証明したとする京都大数理解析研究所の望月新一教授（55）らに、論文賞「IUT革新者賞」を贈ると発表した。賞金は10万ドル（約1500万円）。ABC予想を証明した理論に関連して、望月さんが賞を受賞するのは初めて。 【画像】間違い見つけたら1.4億円 「未来からやって来た数学理論」の正体 ■望月さんも会場に姿見せるが…… この日、ABC予想の証明に用いた独自理論「宇宙際タイヒミュラー（IUT）理論」の最新内容を話し合う研究集会が東京で始まった。5日までの予定で非公開。冒頭の映像が約30分間だけオンライン中継され、受賞が発表された。 当初は賞を贈る式典も予定され、望月さんが10年以上ぶりにカメラの前に姿を見せるか注目されていたが、式は急きょキャンセルに。望月さんは東京の会場には来ているというが、カメラに姿は
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
数学の定義は本当に厳密で一意なものと言えるのか気になりました
記事「最近のIUT界隈」（しぶんぎ社）に関するコメント｜Reiya Tachihara
京大・望月新一教授らに10万ドルの賞金 ABC予想の証明後初めて：朝日新聞デジタル
望月理論、激しい応酬 「ＡＢＣ予想証明」とする新理論めぐり：朝日新聞デジタル
【数学史に残る超難問】「フェルマーの定理」に挑んだ天才数学者たちの300年間の知的冒険
京大・望月新一教授らに10万ドルの賞金 ABC予想の証明後初めて（朝日新聞デジタル） - Yahoo!ニュース