25/06/01 17:08:41.27 0.net
つまり、それぞれの不完全性の複雑さ、言いかえると分りにくさは、
それぞれのブラックボックスにある。その内部を見ないなら、
分りやすいのだが、ブラックボックスの内部構造を調べ始めると、
専門家以外には手が届きにくくなってしまう。
そして、ゲーデルの分りにくさは、やはり、ブラックボックス内部が
ペアノの公理と記号論理学という、現代人に馴染みの薄い言葉で書かれて
いるからなのだろう。パソコンが好きな人は、チューリングの
ブラックボックスの内部の方が分りやすいだろうし、LISP言語で
プログラムを書いたことのある人なら、チャイティンのブラックボックスの
内部が透けて見えるに違いない。
1001:考える名無しさん
25/06/02 18:37:50.96 0.net
数学的であること、ただそれだけで良い
1002:考える名無しさん
25/06/02 19:52:04.98 0.net
母語以外の外国語を学習する事は、人工言語を学習するのと似ているのではないか。
義経は、モンゴル語を学習してチンギス・カンになっただろうか。
ゼレンスキーがウクライナ語を話すのは、千葉出身の掛布が関西弁を話すようなものか。
1159〜1189年 源義経
1162〜1227年 チンギス・カン
1206年 チンギス・カン、即位（モンゴル帝国）
1971年〜 マクシマ、アルゼンチンで生まれる。
1978年〜 ゼレンスキー、母語はロシア語でウクライナ語を猛特訓
1999年 マクシマ、オランダのウィレム＝アレクサンダー王子と知り合う。オランダ語を学習。
2002年 マクシマとウィレム＝アレクサンダーが結婚。
2019年 ゼレンスキー、ウクライナ大統領
1003:考える名無しさん
25/06/03 16:15:44.51 0.net
３．ふざけたネーミングは避けてください。下ネタ、哲学への揶揄、および重複スレッドは禁止です。
４．スレッドを立てる前に、他にふさわしい板がないか 【掲示板一覧】などで確認してください。
( 人生相談、心と宗教、数学、物理学、文学、政治思想、サブカル、主義主張など )
５．スレッドを立てる前に、類似した内容のスレッドがないか【スレッド一覧】で確認してください。
1004:考える名無しさん
25/06/03 19:02:24.28 0.net
170: 考える名無しさん 2025/06/03(火) 18:59:12.71 ID:0
本当に豚の妄想世界、現実捻じ曲げ怨念欲望
すごすぎる 完全公害ｗ 公共空間破壊
83: 考える名無しさん 2025/06/03(火) 18:56:47.86 ID:0
> 「学歴を持つ」
>
> たったこれだけで猿が確定する
> 人間の言葉遣いじゃない
完全あんたの妄想言い掛かりですｗ
84: 考える名無しさん 2025/06/03(火) 18:57:22.12 ID:0
「学歴を持つ」
これ書いた瞬間にヒキコモリ中卒無職猿と確定
85: 考える名無しさん 2025/06/03(火) 18:57:50.20 ID:0
「この中で学歴持ってる人、手を上げて？」
これが完全通常で常識的な日本語ですからｗｗｗ
1005:考える名無しさん
25/06/04 15:31:49.56 0.net
述語論理における完全性について
述語論理（または一階述語論理）における完全性は、ゲーデルの完全性定理によって証明されています。これは、いかなる有効な（すなわち、すべての構造で真である）述語論理の論理式も、その論理の公理系から証明可能である、ということを示しています。より詳しく言うと、ゲーデルの完全性定理は以下のことを述べています。
1006:考える名無しさん
25/06/04 15:32:11.16 0.net
構文論的完全性 (Syntactic Completeness)：一階述語論理のいかなるトートロジー（常に真である命題）も、特定の公理系と推論規則（例えば、自然演繹やヒルベルト流の公理系）を用いて導出可能である。これは、「公理系と推論規則が十分に強力であれば、真であるとわかるすべての文は、それらの規則を使って導き出すことができる」という
1007:考える名無しさん
25/06/04 15:32:30.77 0.net
ゲーデルの完全性定理は一階述語論理（First-Order Logic）に対して成立します。
一階述語論理：個体（変数）に対してのみ量化子（∀, ∃）を用いる論理です。
二階述語論理（Second-Order Logic）や高階述語論理（Higher-Order Logic）：述語や関数に対しても量化子を用いることができる論理です。
1008:考える名無しさん
25/06/04 15:32:48.48 0.net
高階述語論理では、ゲーデルの完全性定理は成立しません。高階述語論理は一階述語論理よりも表現力が豊かである反面、その真理を完全に捉えるような有限的な公理系は存在しないことが知られています。これは、高階述語論理が持つ複雑さと、そこに含まれる集合論的な概念の豊かさに起因します。
1009:考える名無しさん
25/06/04 15:55:09.47 0.net
高卒二浪の学歴を宿命的背中に刻み込まれたジャネットが逝く
1010:考える名無しさん
25/06/05 00:44:50.43 0.net
数学的であること、ただそれだけで良い
1011:考える名無しさん
25/06/05 13:50:36.01 0.net
無敵の人Ω
1012:考える名無しさん
25/06/05 15:34:16.66 0.net
田舎のガリ勉はクラスでバカにされると
すぐ数学と古文の点取り虫に励む
1013:考える名無しさん
25/06/05 15:35:16.83 0.net
田舎の低レベル公立だと古文と数学が一番点取り安いからでしょうｗ
1014:考える名無しさん
25/06/05 15:38:56.46 0.net
↑最小二乗法わからんやつがなんか言ってる😄
恥ずかしいねえ
全世界に知れ渡っているんだよ
1015:考える名無しさん
25/06/05 15:40:58.28 0.net
最小二乗法＝馬鹿の一つ覚えｗｗ
1016:考える名無しさん
25/06/05 15:42:20.46 0.net
他にも馬鹿の一つ覚えシリーズ
１ 語り得ぬもの
２ 言語ゲーム
３ 交換様式D
４ ライプニッツ症候群
1017:考える名無しさん
25/06/05 15:43:32.02 0.net
ジャネット数学圧勝
哲学板を完全制覇
1018:考える名無しさん
25/06/05 15:43:34.04 0.net
なんで理系の大学行ったわけでもないのに、
高校数学の範囲外を知ってる必要があるのか？？？ｗ
1019:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 33日 3時間 20分 55秒
1020:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています