論理学

数学とか

ベクトルの外積って何やねん

外積外積3次元実数空間 $\mathbb{R}^3$ において、2つのベクトル $\vec{a} = (a_1, a_2, a_3)$ と $\vec{b} = (b_1, b_2, b_3)$ が与えられたとき、その外積 $\vec{a}...
よもやま話

内積と直交ベクトルの構成に思いを馳せる

内積を計算規則としてだけ理解すると面白くないのでやる気になる話を探してきました。結構面白い。内積とベクトルの直交ベクトルの内積は意味の関連度を表す指標として機能させられる。向きの差=意味の差内積が0を示す、すなわち、直交するベクトル同士なら...
よもやま話

信念の自家中毒 その二

同語反復的解釈「強い選手は運動時に踵が上がっている!そうだ!一流は踵を上げているんだ!『母指球荷重』だ!」。腸腰筋が強いと構造的ににアキレス腱に張力がかかる。すなわち、踵が上がりやすくなります。100m世界陸上決勝のスプリンターの踵が上がる...
スポンサーリンク
よもやま話

モンティ・ホール問題

モンティ・ホール問題<投稿された相談>プレーヤーの前に閉じた3つのドアがあって、1つのドアの後ろには景品の新車が、2つのドアの後ろには、はずれを意味するヤギがいる。プレーヤーは新車のドアを当てると新車がもらえる。プレーヤーが1つのドアを選択...
よもやま話

リンダ問題

一緒に論理的思考能力を鍛えましょう。リンダは31才、独身、率直な性格で、とても聡明である。大学では哲学を専攻した。学生時代には、差別や社会正義といった問題に深く関心を持ち、反核デモにも参加した。どちらの可能性がより高いか? リンダは銀行窓口...
数学とか

べき乗の指数法則 $a^{m}≠a^{n}→m≠n$

べき乗実数 x の正整数 n 乗は、素朴には、n 個の x を掛け合わせたものである。厳密には、次のように再帰的に定められる。(∗)x¹:=x,(∗∗)xn+1:=xⁿ×x(n≥1).x0を定義する場合には、関係式 (∗∗) が n = 0...
よもやま話

無意味な複雑化

複雑化分解⇄構築ヒトは、認識の対象が大きすぎる場合は分解して理解します。あまりにも大きすぎる構造は、ヒトの認識には映りません。宇宙が典型です。その一部を知覚して理解することはできますが、全体の構造は現時点では殆ど認識できていません。どの程度...
よもやま話

バカの研究

コメ欄のバカ。バカの修辞法「応用力学」などと大仰な言い方をしながら、出てきた言葉は高校物理の作用反作用の法則。その説明に使用した概念が「作用反作用」であることから、解析力学や流体力学などの学問を指す言葉として「応用力学」を使用したのではなく...
運動理論

当たった瞬間に拳を回転させる(笑)

当たる瞬間に握る、回転させる生物「ヒト」の統計的な反応速度から演繹して、見出しの行為は不可能です。すなわち、そんな技術は存在しません。スローモーションで動くのならやれるのかもしれません。それをパンチと呼んでいいのかは甚だ疑問が残りますが。あ...
数学とか

指数の法則 底を共有する指数の大小関係

指数の性質指数の性質を考えます。(仮定)⊥(正と負の乗法)¬(x<0∧0<y→0<xy)(背理法)¬(¬(x<0∧0<y)∨0<x・y)(→言い換え)¬(0<x∨y<0)→x・y<0(ド・モルガンの法則)x<0∧0<y→x・y<0(ド・モル...
数学とか

ド・モルガンの法則の自然演繹

ド・モルガンの法則自然演繹て、少しも"自然"じゃないよな、と。形式主義vs直観主義。これで本気で喧嘩できる情熱すごい。数学の哲学において、直観主義(ちょっかんしゅぎ、英: Intuitionism)とは、数学の基礎を数学者の直観におく立場の...
トレーニング

技術を導く練習

必然を起こす練習には色んな意味を与えていますが、今回はチェックフックに論点を絞ります。チェックフックを導く前提をざっくりと以下のように仮定しています。1.手打ち2.大腰筋の収縮3.二軸足を止めてはいけない、という制約を設けることが、手打ち能...