拙著『達人に学ぶ SQL徹底指南書』の中で、EXISTS述語の使い方を解説している章があるのだが、そこでEXISTS述語だけが唯一SQLの中で二階の述語である、ということを説明している。これはEXISTS述語だけが行の集合を引数にとる述語だからである。それは分かるのだが、なぜ述語論理を考えた人（具体的にはゴットロープ・フレーゲ。タイトル画像のおじさんである）はこんな着想を得たのか、そこが分かりにくいという質問をしばしば受けることがある。確かに、数ある述語の中でなぜ「存在する」だけが二階の述語であるのか、というは直観的にすこし分かりにくい。なぜフレーゲはこんなことを考えたのだろう？ この点について、述語論理の創始者でもあるフレーゲの議論を参照しながらかみ砕いて見ていきたいと思う。かなり理論的かつ哲学的な話になるので、興味ない方は読み飛ばしてもらってかまわない。とくにSQLの理解に支障のある話
旧知の仲である数学者 齋藤 耕太 氏（筑波大学、学振PD）が、昨日数学の未解決問題を解決したとするプレプリントをプリプリントサーバーarXivに投稿されました： arxiv.org 論文自体は「現状分かるところまで研究しつくす」という素晴らしい態度で執筆されているので主定理の記述は十行ありますが、その特別な場合をとり出した ミルズの定数は無理数である という定理（これは論文のタイトルにもなっています）が、ある程度長い期間未解決であったと思われる数学上の問題の解決を意味しています。 無理数性の証明はかっこいい 実数という数学的対象は有理数と無理数に分けられます。有理数は などのように という表示を持つ実数であり（ここでは自然数は正の整数を意味するものとします）、有理数ではない実数のことを無理数といいます。 高校数学でも証明込みで学ぶことと思いますが、無理数の典型例としては があげられます。こ
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 a Poisson distribution. For λ ≤ 1, eventual extinction will occur with probability 1. But the probability of survival of a new type may be quite low even if λ > 1 and the population as a whole is experiencing quite strong exponential incr
$$\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]
中学数学の図形の授業では、図形の性質の証明について学習しますね。最も基本的な前提として仮定される命題を「公理」と呼び、そこから導き出される（証明される）命題を「定理」と呼びます。 この「図形の性質の証明」という数学の手法は、古代エジプトやギリシャなど、非常に古くからあるものです。紀元前3世紀ごろ、ユークリッドという数学者によって整理・体系化されたので、一般的に「ユークリッド幾何学」と呼ばれています。 ただし、中学校では普通、全ての定理を公理から証明はしません。「正確には定理だけれども、明らかな事実として扱いましょう」とする場合も多いんですね。 これはもちろん教育上の配慮です。全ての定理を公理から導き出していたら、中学校の数学の授業時間では到底追いつきませんし、難易度的にもついてこれる中学生は少数派になってしまうでしょう。中学数学の図形分野は、数学的な論理を学ぶ入門編として用意されているとい
モンティ・ホール問題の増田が上がっているのを見て、前に聞いた面白い話を書いておく。掲題の問題を見て、「そんなの考えるまでもないじゃないか、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
慶應義塾大学大学院理工学研究科 KiPAS 数論幾何グループの平川義之輔（博士課程 3 年）と松村英樹（博士課程 2 年）は、『辺の長さが全て整数となる直角三角形と二等辺三角形の組の中には、周の長さも面積も共に等しい組が（相似を除いて）たった 1 組しかない』という、これまで知られていなかった定理の証明に成功しました。 線の長さや図形の面積は、私たちの身の回りにあるものを測量する際に欠かせない基本的な「幾何学」的対象です。例えば、辺の長さが 3、4、5 の直角三角形は教科書でもおなじみの図形ですが、辺の長さが全て「整数」となる直角三角形はどのくらいあるか？という問題は、古代ギリシャ時代に研究がなされた重要な問題でした。この流れを汲んで 20 世紀に大きく発展した現代数学の一分野が「数論幾何学」です。 本研究では、数論幾何学における「p 進 Abel 積分論」と「有理点の降下法」を応用するこ
^ J. M. Hammersley (1968). “On the enfeeblement of mathematical skills by 'Modern Mathematics' and by similar soft intellectual trash in schools and universities”. Bulletin of the Institute of Mathematics and Its Applications 4: 66–85. Appendix IV, Problems, Problem 8, p. 84を参照。 ^ Croft, Hallard T.; Falconer, Kenneth J.; Guy, Richard K. (1994). Hamos, Paul R.. ed. Unsolved Problems in Geometry. Pr
位相空間論において日本空間 (Japanese space) とは、閉包を保つような局所近傍系を持つ空間のことである。 位相空間 の集合族 が閉包を保つとは、の任意の合併が閉包と交換することである。 つまり、任意の に対し、 となることである。 位相空間 がある点 において日本である (X is Japanese at x) とは、 の局所開近傍基であって、閉包を保つものが存在することである。が全ての点で日本であるとき、単には日本空間である (X is Japanese) という。 位相空間 がある点 において弱日本である (X is weakly Japanese at x) とは、 の局所閉近傍基であって、閉包を保つものが存在することである。が全ての点で弱日本であるとき、単には弱日本空間である (X is weakly Japanese) という。
今日は楽しいパーティです。 白雪姫は、円形のケーキを作りました。 白雪姫 円形のケーキに上から１回だけ包丁を入れると、最大２分割できます。 ２回包丁を入れると、最大４分割までできます。 では、３回包丁を入れると最大で何分割できるでしょうか。そのまま考えると、６分割でしょうか？ 上図のように切れば、最大で７つに分割することができます。 ちなみに回包丁を入れると最大分割、回だと、回だと、そして回だと最大個のピースに分割できることがわかっています。なるべく多く線が重なるように切ればいいのです。実際にやって確かめてみたい感じありますが、しかし今回の本題はそこではないのでまたこんどにしましょう。 白雪姫は、王子様からもらった大切な包丁をあまり使いたくなかったので、ケーキに３回だけ包丁を入れて７つに分割し、それを７人のこびとたちに下図のように配ることにしました。 こびとたち しかし、このような切り方で
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ページを開く
Baker’s theorem – What's new