$ \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{\bracket}[1]{\left[\;#1\;\right]} $

2017-09-29から1日間の記事一覧

安井邦夫、「現代論理学」、現代思想社 の分からない所メモ 第2弾

p188の$\fbox{15}$が分からない! $\fbox{15}$ S(x,t,u):「(x)$_0$は、表現(x)$_1$において、変項uの自由な表れすべてに項tを代入するとき、そこに得られる表現である。」 S(x,t,u)は次の関係で定義される。 \begin{array}{ll} {VE(u) \amp TM(t) \amp} \{ \\ …

読書中にピンときた言葉 第2弾

笠原敏彦、「ふしぎなイギリス」、講談社現代新書、40ページ バッキンガム宮殿前の大通り「ザ・マル」。ここを進むウィリアム王子とキャサリン妃を載せたオープン馬車はまさに、シンデレラに登場する馬車を想起させた。ベアスキンの黒い帽子をかぶった近衛兵…