>>84-87
ふっふ、ほっほ
踏みつけられて なお 動くゴキブリくん
夏は暑いね、元気だね ゴキブリくんw ;p)
さて、自己言及の論理と計算 長谷川真人 数理解析研
補足で、下記のja.wikipedia 自己言及のパラドックス を貼る
「この文は偽である」
この文が真ならば、この文は偽で
この文が偽ならば、この文は真の
パラドックスです
上記 長谷川真人 氏の通り
ラッセルの逆理 と、カントールの対角線論法 との
両方に関連する 数学基礎論の重要事項です!w ;p)
(参考)
https://ja.wikipedia.org/wiki/%E8%87%AA%E5%B7%B1%E8%A8%80%E5%8F%8A%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9
自己言及のパラドックス
自己言及のパラドックス または嘘つきのパラドックスとは、「この文は偽である」という構造の文を指し、自己を含めて言及しようとすると発生するパラドックスのことである。この文に古典的な二値の真理値をあてはめようとすると矛盾が生じる(パラドックス参照)。
「この文は偽である」が真なら、それは偽だということになり、偽ならばその内容は真ということになり……というように無限に連鎖する。同様に「この文は偽である」が偽なら、それは真ということになり、真ならば内容から偽ということになり……と、この場合も無限に連鎖する。
歴史
嘘つきのパラドックスの一例として、エピメニデスのパラドックス(紀元前600年ごろ)が示された。エピメニデスは伝説的哲学者でクレタ島出身(クレタ人)とされており、「クレタ人はいつも嘘をつく」と言ったとされている。この言葉の出典は、新約聖書中の「テトスへの手紙」(1章12-15節)である[1]。
パラドックスの詳細と派生
嘘つきのパラドックスの問題は、真理と虚偽に関する一般通念を適用すると矛盾が導かれる点である。文法や意味論の上では規則を守りつつ、真理値を割り当てられない文を構築することができる。
このパラドックスの最も単純な文は次の通りである。
・この文は偽である。(A)
(A) が真だとすると、そこで表明されていることは全て真でなければならない。しかし、(A) はそれ自身が間違っている(偽である)と表明しているので、それは偽のはずである。これを真とする仮説を立てると、それが偽だという矛盾が生じる。同様に偽とする仮説を立てても矛盾を生じる。この文を偽だとすると、そこで言っている内容は真ではないということになる。すると、それは真だということになる。どちらの仮説を採用しても、(A) は真でありかつ偽であるという結論に至る。
しかし、この文を真とすると偽だということになり、偽とすると真だということになることから、「真でも偽でもない」と結論することもある。このようにこのパラドックスに反応することは、真理と虚偽についての一般通念である「全ての文は二値原理に従う」を否定することであり、それは排中律とも関連する概念である。
Inter-universal geometry と ABC予想 (応援スレ) 73
■ このスレッドは過去ログ倉庫に格納されています
88現代数学の系譜 雑談 ◆yH25M02vWFhP
2025/07/30(水) 20:34:19.15ID:mIho28o5■ このスレッドは過去ログ倉庫に格納されています
ニュース
- フランス各地でデモに乗じ破壊や略奪、歴史的建造物の市庁舎は放火で焼失…全国1500の小売店が襲撃受ける ★9 [ぐれ★]
- 古市憲寿「中居くん騒動の時はみんな何の証拠もないはずなのにたやすく彼を断罪していた」「後から完全に嘘だとわかったことを…」★2 [Ailuropoda melanoleuca★]
- 女優・趣里の夫・三山凌輝 ファンクラブ限定BBQの参加費が波紋 中学生3万5000円、小学生1万5000円 ホテル密会騒動後の高額路線 [冬月記者★]
- 【野球】阪神、9回2死2ストライクから逆転負け 「あと1球コール」は選手にどう影響? 阪神OBが明かす実体験…工藤が崩れた別の要因 [冬月記者★]
- 【芸能】小栗旬、“食わせてきた”24歳年上の有名俳優明かす まさかの呼び捨て…謎の関係性に共演者も困惑 [冬月記者★]
- 【芸能】マツコ「50歳過ぎて思う」 幸せか、幸せじゃないかの差は「本当にわずか…これがもういけない」 [冬月記者★]
- NHK、「フランスの学生デモは移民無関係です」と無思考ジャップに警告するも「移民ガー移民ガー」の大合唱で日本終わるwwwwwwww [668024367]
- 移民の増加を推進していたケンモメンはフランスを見て今は考えを変えたの? [294785177]
- 【高市悲報】BYDの軽EV「ラッコ」、受注2000台超す 発売から約2カ月半で [158478931]
- 【動画】ルフィ・黄猿・四代目火影・うちはオビト・悟空、フランスに集結wwwwwwwwwwwwww
- 【早苗動画】アリの巣に大量の砂糖をぶっかけると社会主義が失敗する理由がわかるらしい [856346618]
- 【高市悲報】天・安・門事件、フラ・ンスの件で中・国政府側が正しかったという評価に落ち着く [165981677]