TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
[RPA]PC自動化技術総合スレ[効率化] Part.5
Ruby 初心者スレッド Part 63
日下部陽一著 作ってわかるCプログラミング(第6版)
結局プログラム作るのってWinとLinuxどっちがいい？
OpenMPプログラミング
GCは失敗。メモリは自分で管理せよ！ その2
リーダブルコーディング技術スレ
CoffeeScript
プログラミング始めたいんだけどどこ言語がいい？
Excel VBA 質問スレ Part65
64 ：
>>62
古典論理では認められてるんですが、「二重否定の除去」は、
直観論理では認められていないんですよ。すなわち、
「¬¬A ≡ A」は成立しないんです。
このあたりは、クルト・ゲーデルというひとが、
「完全性定理」（無矛盾な公理系があって、
その中では「正しいことは、すべてその体系の中で
証明できる」）とか「第一不完全性定理」（その公理系の
中で記述された命題のうち、「正しいんだけど証明できない
命題」があっても矛盾しない）とか「第二不完全性定理」
（その公理系の中に矛盾があっても、その公理系の中では
「矛盾がある」ということが証明できない）とかいうことを、
「ゲーデル数」という概念を使って証明しちゃったんで、
このあたりの話は、けっこう活発に議論されているテーマ
なんです。
「数学基礎論」とか「連続体仮説」とか「選択公理」とかについて
勉強してみると、けっこう面白いですよ？

「コンパイラ・スクリプトエンジン」相談室16
Go language part 2
アセンブラ初心者スレッド 2
オブジェクト指向は愚かな考え。この世は計算式 ★3
スレ立てるまでもない質問はここで 152匹目
ATL/WTL Part7
【独学】一人で勉強する奴らのスレ【自習】
Visual Studio 2019
アルゴリズム考えるのムズすぎワロタwwww
エスパーが質問に答えるスレ
--------------------
ピカチュウの可愛さは異常26
クリミナルマインドで一番印象に残ってる犯人は？
愛知県のWeb制作会社
〓たかせん〓
隅田川の花火が見えるホテル
民○党類ですが自己評価3000倍です
トランプ「ＧＳＯＭＩＡを破棄した韓国で何が起きるか見てみよう」
スパイダソリティア
★バクステ★AKIHABARAバックステージpass★26推し目
[ヘーゼルナッツ]堅果・種実 [クルミ]
【RAPALA】ラパラ総合スレッド【rapala】
【名大名市名工】愛知の国公立大学総合スレ1【愛県愛教豊技】
アフリカの言語で話すスレ
【JOLF1242kHz】ニッポン放送3688【FM93.0MHz】
【なまいきざかり】 ミユキ蜜蜂 Part2
専修大学のミスコン、レベル低すぎ！ [148086635]
【50自二連覇】ゲーリーホールｊｒ【糖尿病】
【WWE】中邑 真輔　PART2
氷帝メモスレ
ETC二輪車「ツーリングプラン」その8
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼