数学的

よもやま話

技術論との付き合い方

YouTubeのボクシング解説系を見る時の注意。帰納法と演繹法要点が掴みやすいように具体的に説明します。「強いボクサーの骨格には共通点がある(帰納法)」。上の主観的な観察が事実であると仮定し、客観的な事実のみで裏付けを行う(演繹法)。前提「...
数学とか

自然数の定義と人の認識

人の認識を延長したものが含意、さらにその含意を延長し集合を含む概念にしたのが写像、関数。この文脈から自然数の定義にどんな物語が与えられるのかを見ていきます。人の認識って文脈から数学を理解しようって試みであくまでも長濱説、我流です。写像と含意...
数学とか

論理和除去と導入

後回しにしてた論理和の推論規則を学んでいきます。論理和の導入と除去∨(論理和)導入Wikipediaの説明が分かりやすいので引用します。もし「P」という命題が真であれば、「PまたはQ」という命題もまた真である、という推論規則である。例えば、...