TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
Pythonのお勉強 Part63
【Intel】OpenCV総合スレ 5画素目【画像処理】
起業しようぜ8
C# vs Java どっちが好き? その5
こんなプログラミング言語は嫌だ!
Visual Studio 2005 Part 27
プログラミング始めたいんだけどどこ言語がいい?
Java入門・初心者質問スレ Part.7
VBSで便利なプログラムを作れスレ 2
ふらっと C#,C♯,C#(初心者用) Part143
76 :
>>64
>「第二不完全性定理」(その公理系の中に矛盾があっても、その公理系の中では「矛盾がある」ということが証明できない)
ちょっと違うのでは?
「その公理系の中に矛盾ないとき、『その公理系の中では矛盾がない』ということを、その公理系では証明できない」

>「二重否定の除去」は、直観論理では認められていないんですよ。すなわち、「¬¬A ≡ A」は成立しないんです。
厳密ではないですね
二重否定の除去は、「排中律」+「矛盾の公理:矛盾から任意の命題を導くことができる」のダブルパンチの威力があります
直観主義論理は、「排中律」を公理として含みませんが、「矛盾の公理」は含んでいます

プログラム板へのID導入の投票実施中 月曜0:00まで
【統計分析】機械学習・データマイニング24
次世代言語13 COBOL Java PHP VBA Ruby
【統計分析】機械学習・データマイニング19
MVVMについて語ろう
Visual Studio 2017 Part7
c、Java、pythonを難易度でランク付けして
人工知能ディープラーニング機械学習のための数学
[RPA]PC自動化技術総合スレ[効率化] Part.6
次世代言語15 Go Rust Bosque Kotlin TypeScript
--------------------
【かっさん】加藤純一ID無しスレpart2821【虚言癖乞食】
バンコク(曼谷)旅行スレッド107【タイ】
【FFBE】FINAL FANTASY BLAVE EXVIUS Lv2575【とんずら糞運営 確立操作自由自在宣言 ユーザー流石にム・リ・ポ】
【白内障】放射線症・傾向と対策52【甲状腺】
Steamの面白くて安いゲーム教えて Part182
韓国・中国経済崩壊、何時になったら本当に崩壊?
中学生のスレ
百田尚樹「慰安婦・靖国参拝非難・南京大虐殺などは全部日本側の反日団体発」 ネット「日本に巣食う特亜系在日の仕業」「日本人擬きが…
■既にゴキブリに占拠された家に住んでいます■
【PC】Dragon's Dogma: Dark Arisen part.5【AAPG】
西日本人は朝鮮半島からきた!
「チャリで来た」で有名なプリクラの本人がテレビに出演 偶然が重なり出来た1枚のプリクラだった
【赤坂アカ】かぐや様は告らせたい〜天才たちの恋愛頭脳戦〜 ☆383
【LPC】Gibson Les Paul Custom Part26【BB】
【未解決】神戸市北区高校生殺人事件【犯人は誰?】
【一番】match.com情報交換スレ★9【まとも?】 [無断転載禁止]©3ch.net
SHOWROOM part84
【週刊実話】韓国・文在寅大統領の娘と孫も海外逃亡!? 政権中枢に漂い始めた“腐敗臭”[5/2]
痛い球技界隈なりきり晒してけ
アメトーーク!Part294
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼