LIHKG 量子力學x輪迥x外星人 v0.0.1
共同構造的幸福 2023-9-14 01:07:26 康德有好幾個argument玩完
:^(

Ads

共同構造的幸福 2023-9-14 01:08:34 U冇睇eva
:^(
潘朵拉的盒拓撲 2023-9-14 01:10:41 此回覆已被刪除
共同構造的幸福 2023-9-14 01:19:30 告訴我,喺非歐入面,兩條邊可唔可以構成一個圖形
潘朵拉的盒拓撲 2023-9-14 01:20:01 此回覆已被刪除
潘朵拉的盒拓撲 2023-9-14 01:24:22 此回覆已被刪除
共同構造的幸福 2023-9-14 01:24:24 姐係一個有嘅 但冇喺domain到出現
一個原本就係冇
:^(
共同構造的幸福 2023-9-14 01:25:43 哈哈,康德又少一個argument
潘朵拉的盒拓撲 2023-9-14 01:48:48 此回覆已被刪除
共同構造的幸福 2023-9-14 02:23:17 出現咗自己少少熟嘅term,然後又收皮
:^(
共同構造的幸福 2023-9-14 22:01:12 笑乜撚
:^(
你expect一個十八世紀識啲乜

Ads

共同構造的幸福 2023-9-14 23:57:54 我知美國依家多數學邏輯學嘅人都係因為德國波蘭佬驚納粹走咗去啊
但點解德國波蘭佬本身數學、logic研究咁蓬勃
共同構造的幸福 2023-9-15 05:56:53 Completeness theorem:
If it is true, it is provable
我估Henkin’s proof證明思路係咁:

If O is any sentence that is true, such that H |= O,
所以H union非O |= any sentence that is false,
H union with非O 自己係冇model,即係無論點樣詮釋都唔係true,即係H內derive(by universal closure)出嘅O{s} and 非O{s} 點樣詮釋都唔係true

By Henkin proof,但仲未睇
If what a set of sentence prove is consistent, then it has a model such that these are true in that model(已進行割除量化詞手術)
換句話講
If a set of sentence does not have any model, what these set of sentence proves is not consistent

所以what H union O proves is not consistent,
換句話講H union with 非O |- any sentence that is false, as our deduction system support proof by contradiction, so it is iff H |- O,
So if O is true, O is provable
Since O is arbitrary, H|= O, H|-O

所以H|= O,則H|-O
共同構造的幸福 2023-9-15 14:41:00
:^(

如果所有subset啲sentence就有,咁原本嗰set就要有
:^(

咁就證埋Compactness theorem,咁勁嘅leon henkin
潘朵拉的盒拓撲 2023-9-15 15:37:05 此回覆已被刪除
潘朵拉的盒拓撲 2023-9-15 15:42:53 此回覆已被刪除
共同構造的幸福 2023-9-15 16:21:56
:^(
:^(

唔通又係物理勿理
共同構造的幸福 2023-9-15 17:18:26 When life gives you lemon, make it a lemonade
共同構造的幸福 2023-9-15 19:06:28 是不是我錯覺 點解佢同tarski咁似樣
:^(
潘朵拉的盒拓撲 2023-9-15 19:53:50 此回覆已被刪除
共同構造的幸福 2023-9-15 20:51:29 洗唔洗
:^(

Ads

潘朵拉的盒拓撲 2023-9-15 20:59:52 此回覆已被刪除
共同構造的幸福 2023-9-15 22:19:20 咁多都被小圓救咗,得佢冇
:^(
潘朵拉的盒拓撲 2023-9-15 22:31:38 此回覆已被刪除
潘朵拉的盒拓撲 2023-9-15 22:35:19 此回覆已被刪除