爆発する数学講座(偽)

[Post:04/11/2015]

古典論理ならびに直観主義論理における困った性質
「矛盾から任意の命題が証明できてしまうこと」
についてゆる~く解説したお話です。
これを爆発原理と言います。

作中で触れている「Twitterで話題になった論理学の問題」についての記事はこちら:
「源義経の母親はナポレオン」Twitterで話題の激ムズ論理学の問題を数学科の大学院生が説明するよ(ねとらぼ)
http://nlab.itmedia.co.jp/nl/articles/1407/17/news058.html

作中にある証明には別解があります(Guidebook/39)。

参考ゲーム:
数学の教科書が教えてくれない講座(GamePlay/6227)
「よし! 次は爆発原理をネタにしよう!」と思ったキッカケになった作品。

NAK@22番目の素数

投稿者:
NAK@22番目の素数

Play
:1,858
MyList
:0
Comment
:10

Read in LOGMODE?
爆発する数学講座(偽)

Enter key,Left click:Advance the story

Delete or transfer publishing rights Peport Error to PLiCy

Iframe code