Entries from 2019-01-01 to 1 year
仕事(建築系)で曲げとか剪断とか歪みとか、いわゆる弾性学の知識が必要になることが多いので、物理、解析学が苦手なりに整理してみようという趣旨で書いてみます。 特にテンソルについては、いろんな人がいろんなことを書いているので何が定義なのかもよくわ…
論理学(一階の述語論理)を始めた人がおそらく最初に突き当たる壁、あるいは面白くなってくるポイントはコンパクト性定理なのではないかと思う。 を言語とすると、定理の内容は(閉とは限らない)論理式の集合に対して、 が有限充足的(任意の有限部分集合がモデ…