量子力學x輪迥x外星人 v0.0.1
不過講開又講
1001 回覆
8 Like
85 Dislike
第 1 頁第 2 頁第 3 頁第 4 頁第 5 頁第 6 頁第 7 頁第 8 頁第 9 頁第 10 頁第 11 頁第 12 頁第 13 頁第 14 頁第 15 頁第 16 頁第 17 頁第 18 頁第 19 頁第 20 頁第 21 頁第 22 頁第 23 頁第 24 頁第 25 頁第 26 頁第 27 頁第 28 頁第 29 頁第 30 頁第 31 頁第 32 頁第 33 頁第 34 頁第 35 頁第 36 頁第 37 頁第 38 頁第 39 頁第 40 頁第 41 頁
康德有好幾個argument玩完
U冇睇eva
告訴我，喺非歐入面，兩條邊可唔可以構成一個圖形
姐係一個有嘅 但冇喺domain到出現
一個原本就係冇
一個原本就係冇
哈哈，康德又少一個argument
出現咗自己少少熟嘅term，然後又收皮
笑乜撚
你expect一個十八世紀識啲乜
你expect一個十八世紀識啲乜我知美國依家多數學邏輯學嘅人都係因為德國波蘭佬驚納粹走咗去啊
但點解德國波蘭佬本身數學、logic研究咁蓬勃
但點解德國波蘭佬本身數學、logic研究咁蓬勃
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
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
如果所有subset啲sentence就有，咁原本嗰set就要有
咁就證埋Compactness theorem，咁勁嘅leon henkin
唔通又係物理勿理
When life gives you lemon, make it a lemonade
是不是我錯覺 點解佢同tarski咁似樣
洗唔洗
咁多都被小圓救咗，得佢冇