ozaki.k

政治家の誤植事件

現代は、空に覆われているのではなく、ビルに覆われているから
sheltering sky
ならぬ
sheltering skyhopper

絵は文字(くち)程にものをいう

ジャンジラールの線型論理による、systemF
型理論におけるsystemF
フェリー・コーステンの楽曲 systemF

心臓の鼓動の大まかな測り方。
いつも聴いてる音楽が早く聴こえれば、心臓の鼓動が早い。
遅く聴こえれば、心臓の鼓動が遅い

cyclic

ブルバキさん、徹底した構造主義のはずなのに圏論的な構造になってて笑う
まわりくどい。

IUT理論の授業、1回目終り

ジョイ・フォイ・ノイマソ

真鳥住む 雲梯の森の 菅の根を
衣に書きつけ 着せむ児もがも

数学の理論は構造物のようなイメージが纏わりつくが、哲学の理論はそれとは異なる気がする。

アウフヘーベンみある

誕生していないのに生きていることは観測できるのか？加えて死んでいることも観測できるか？
生死という性質の存在を持たないのに、生死の状態で存在が観測できるのは不思議なことではないか？

生まれる前と死後の非存在は同義？

死んでいることが、生きていることの反対ならば、生まれていないことは死んでいることか？

Siegel、Bourbakiとか30冊ぐらい並行して読んでいる本のうち、10冊の内容をセミナーの為に纏めてる。
パピルスが足りない。骨密度は正常

文頭から結論を置く人と、文末に結論を置く人がいる。
数学的に例えれば、前者は逆数学的で後者は通常の数学的推論と言える。

この構成法は自然数の順序や、その自然数に含まれる集合の個数も表すことができる。

∅を空集合とする
0=∅
1=｛∅｝
2=｛∅,｛∅｝｝
3=｛∅,｛∅｝,｛∅,｛∅｝｝｝
.
.
.
と自然数を構成すれば、自然数全体の集合Nは
N=｛0,1,2,...n-1｝となる
この構成法はフォンノイマンによる。

Hello world