$ \newcommand{\exi}{\exists\,} \newcommand{\all}{\forall} \newcommand{\equ}{\!=\!} \newcommand{\nequ}{\!\neq\!} \newcommand{\amp}{\;\&\;} \renewcommand{\Set}[2]{\left\{\;#1\mathrel{}\middle|\mathrel{}#2\;\right\}} \newcommand{\parenth}[1]{\left(\;#1\;\right)} \newcommand{\braces}[1]{\left\{\;#1\;\right\}} \newcommand{\bracket}[1]{\left[\;#1\;\right]} \newcommand{\godel}[1]{\left\ulcorner #1 \right\urcorner} $

2019-01-01から1ヶ月間の記事一覧

復習:可算について

$X$ を集合とする。 $X {\rm は有限集合}$ $:\Leftrightarrow$ $\exi n \in {\mathbb N} \; \exi {\rm 可逆写像} f : n \rightarrow X$ $X {\rm は無限集合}$ $:\Leftrightarrow$ $X {\rm は有限集合ではない}$ $\all m, n \in {\mathbb N} \;\parenth{ \exi…

那須川天心vsフロイド・メイウェザーのスペシャルエキシビジョンマッチについての感想

2018年12月31日、那須川天心 vs フロイド・メイウェザーのスペシャルエキシビジョンマッチ(3分3ラウンドのボクシングルール)が行われたのを見た。 取りあえずメディアに出ていた情報で気になったモノを纏めるとこんな感じだ: 試合は、ボクシングルールのスペ…