存在するはなぜ二階の述語なのか｜ミック
拙著『達人に学ぶ SQL徹底指南書』の中で、EXISTS述語の使い方を解説している章があるのだが、そこでEXISTS述語だけが唯一SQLの中で二階の述語である、ということを説明している。これはEXISTS述語だけが行の集合を引数にとる述語だからである。それは分かるのだが、なぜ述語論理を考えた人（具体的にはゴットロープ・フレーゲ。タイトル画像のおじさんである）はこんな着想を得たのか、そこが分かりにくいという質問をしばしば受けることがある。確かに、数ある述語の中でなぜ「存在する」だけが二階の述語であるのか、というは直観的にすこし分かりにくい。なぜフレーゲはこんなことを考えたのだろう？ この点について、述語論理の創始者でもあるフレーゲの議論を参照しながらかみ砕いて見ていきたいと思う。かなり理論的かつ哲学的な話になるので、興味ない方は読み飛ばしてもらってかまわない。とくにSQLの理解に支障のある話
70年以上未解決であった「ミルズの定数の無理数性」が解決か！？ - INTEGERS
旧知の仲である数学者 齋藤 耕太 氏（筑波大学、学振PD）が、昨日数学の未解決問題を解決したとするプレプリントをプリプリントサーバーarXivに投稿されました： arxiv.org 論文自体は「現状分かるところまで研究しつくす」という素晴らしい態度で執筆されているので主定理の記述は十行ありますが、その特別な場合をとり出した ミルズの定数は無理数である という定理（これは論文のタイトルにもなっています）が、ある程度長い期間未解決であったと思われる数学上の問題の解決を意味しています。 無理数性の証明はかっこいい 実数という数学的対象は有理数と無理数に分けられます。有理数は などのように という表示を持つ実数であり（ここでは自然数は正の整数を意味するものとします）、有理数ではない実数のことを無理数といいます。 高校数学でも証明込みで学ぶことと思いますが、無理数の典型例としては があげられます。こ
Galton–Watson process - Wikipedia
This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (July 2009) (Learn how and when to remove this message) Galton–Watson survival probabilities for different exponential rates of population growth, if the number of children of each parent node can be assumed to follow
ラマヌジャンは本当に何も知らなかったのか
$$\newcommand{a}[0]{\alpha} \newcommand{Aut}[0]{\operatorname{Aut}} \newcommand{b}[0]{\beta} \newcommand{C}[0]{\mathbb{C}} \newcommand{d}[0]{\delta} \newcommand{dis}[0]{\displaystyle} \newcommand{e}[0]{\varepsilon} \newcommand{F}[4]{{}_2F_1\left(\begin{matrix}#1,#2\\#3\end{matrix};#4\right)} \newcommand{farc}[2]{\frac{#1}{#2}} \newcommand{G}[0]{\Gamma} \newcommand{g}[0]{\gamma} \newcommand{Gal}[0]
「平行線の同位角」の証明(1)――古代から数学者たちを悩ませ続けた「平行線公準」問題
中学数学の図形の授業では、図形の性質の証明について学習しますね。最も基本的な前提として仮定される命題を「公理」と呼び、そこから導き出される（証明される）命題を「定理」と呼びます。 この「図形の性質の証明」という数学の手法は、古代エジプトやギリシャなど、非常に古くからあるものです。紀元前3世紀ごろ、ユークリッドという数学者によって整理・体系化されたので、一般的に「ユークリッド幾何学」と呼ばれています。 ただし、中学校では普通、全ての定理を公理から証明はしません。「正確には定理だけれども、明らかな事実として扱いましょう」とする場合も多いんですね。 これはもちろん教育上の配慮です。全ての定理を公理から導き出していたら、中学校の数学の授業時間では到底追いつきませんし、難易度的にもついてこれる中学生は少数派になってしまうでしょう。中学数学の図形分野は、数学的な論理を学ぶ入門編として用意されているとい
ある夫婦に2人子供がいる。片方の子が男であるとき、もう片方が女である確率は？
モンティ・ホール問題の増田が上がっているのを見て、前に聞いた面白い話を書いておく。掲題の問題を見て、「そんなの考えるまでもないじゃないか、1/2だ」と思った人は少し考えてみて欲しい。 子供が2人いる時、男女の組み合わせのパターンは下記の4通り存在することは分かるだろう。 パターン1 男-男 パターン2 女-女 パターン3 女-男 パターン4 男-女 このうち、片方が男であることが示されているので、パターン2は可能性としてなくなる。残る3パターンで、片方が男であるとき、もう片方が女であるパターンは2パターンある。よって、タイトルの答えは「2/3」である。 数学の問題って直感と違うことがあるよね、というお話。
次元の呪い、あるいは「サクサクメロンパン問題」 - 蛍光ペンの交差点
超球の体積、すなわち多次元空間における球は、一般的に私たちが観測する３次元の球体の体積とは遥かに異質な性質を示すらしい。 機械学習の有名な教科書によれば、 Our geometrical intuitions, formed through a life spent in a space of three dimensions, can fail badly when we consider spaces of higher dimensionality. 拙訳： 我々の幾何学に関する直観は、３次元空間の中で過ごした人生の中で形成されたものだが、高次元空間を考えるときには、まるで役立たないことがある。 ("パターン認識と機械学習 上", 原書, p.36) ... in spaces of high dimensionality, most of the volume of a spher
【プレスリリース】世界に1つだけの三角形の組 －抽象現代数学を駆使して素朴な定理の証明に成功－ | 日本の研究.com
慶應義塾大学大学院理工学研究科 KiPAS 数論幾何グループの平川義之輔（博士課程 3 年）と松村英樹（博士課程 2 年）は、『辺の長さが全て整数となる直角三角形と二等辺三角形の組の中には、周の長さも面積も共に等しい組が（相似を除いて）たった 1 組しかない』という、これまで知られていなかった定理の証明に成功しました。 線の長さや図形の面積は、私たちの身の回りにあるものを測量する際に欠かせない基本的な「幾何学」的対象です。例えば、辺の長さが 3、4、5 の直角三角形は教科書でもおなじみの図形ですが、辺の長さが全て「整数」となる直角三角形はどのくらいあるか？という問題は、古代ギリシャ時代に研究がなされた重要な問題でした。この流れを汲んで 20 世紀に大きく発展した現代数学の一分野が「数論幾何学」です。 本研究では、数論幾何学における「p 進 Abel 積分論」と「有理点の降下法」を応用するこ
ソファ問題 - Wikipedia
面積 π/2 + 2/π = 2.2074... の受話器の形をしたソファ。これは最大ではない。 ソファ問題（ソファもんだい）は数学の未解決問題のひとつ。1966年にレオ・モーザー（英語版）によって問題が提示された。この問題は「L字型の通路を通り抜けることができる、ソファの面積の最大値 A を求めよ」という離散幾何学、数学パズルの問題である。これは、数学上の未解決問題となっている。 A の下界と上界[編集] 下界[編集] 通路の幅が1であるとき、半径1の半円はL字型の通路を通すことができるので、Aの下界の一つとして が容易に得られる。 ジョン・ハマーズレイ（英語版）はより優れたAの下界の一つを発見した。の長方形の両脇に半径1の四分円を接合させた図形から、直径 の半円をくりぬいた受話器型のソファで、 となる[1][2]。 18の線からなるジャーバーのソファー 1992年にジョセフ・ジャーバー
)
日本空間 (位相空間論) - Wikipedia
位相空間論において日本空間 (Japanese space) とは、閉包を保つような局所近傍系を持つ空間のことである。 定義[編集] 位相空間 の集合族 が閉包を保つとは、の任意の合併が閉包と交換することである。 つまり、任意の に対し、 となることである。 位相空間 がある点 において日本である (X is Japanese at x) とは、 の局所開近傍基であって、閉包を保つものが存在することである。が全ての点で日本であるとき、単には日本空間である (X is Japanese) という。 位相空間 がある点 において弱日本である (X is weakly Japanese at x) とは、 の局所閉近傍基であって、閉包を保つものが存在することである。が全ての点で弱日本であるとき、単には弱日本空間である (X is weakly Japanese) という。 性質[編集] 以下、位
ケーキに３回だけ刃を入れてできるだけ公平に分割したい話 - アジマティクス
今日は楽しいパーティです。 白雪姫は、円形のケーキを作りました。 白雪姫 円形のケーキに上から１回だけ包丁を入れると、最大２分割できます。 ２回包丁を入れると、最大４分割までできます。 では、３回包丁を入れると最大で何分割できるでしょうか。そのまま考えると、６分割でしょうか？ 上図のように切れば、最大で７つに分割することができます。 ちなみに回包丁を入れると最大分割、回だと、回だと、そして回だと最大個のピースに分割できることがわかっています。なるべく多く線が重なるように切ればいいのです。実際にやって確かめてみたい感じありますが、しかし今回の本題はそこではないのでまたこんどにしましょう。 白雪姫は、王子様からもらった大切な包丁をあまり使いたくなかったので、ケーキに３回だけ包丁を入れて７つに分割し、それを７人のこびとたちに下図のように配ることにしました。 こびとたち しかし、このような切り方で
Yitang Zhang - Wikipedia
Yitang Zhang (Chinese: 张益唐; born February 5, 1955)[3] is a Chinese-American mathematician primarily working on number theory and a professor of mathematics at the University of California, Santa Barbara since 2015.[4] Previously working at the University of New Hampshire as a lecturer, Zhang submitted a paper to the Annals of Mathematics in 2013 which established the first finite bound on the leas
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://aue.repo.nii.ac.jp/record/2871/files/epsilon427583.pdf
Baker’s theorem – What's new
The Chalk Market: Where Mathematicians Go to Get the Good Stuff - Cal Alumni Association
「異世界からきた」論文を巡って： 望月新一による「ABC予想」の証明と、数学界の戦い