|
สมัครสมาชิก | คู่มือการใช้ | รายชื่อสมาชิก | ปฏิทิน | ข้อความวันนี้ | ค้นหา |
|
เครื่องมือของหัวข้อ | ค้นหาในหัวข้อนี้ |
#1
|
||||
|
||||
ทำไมจึงเรียก Completeness Theorem
Completeness Theorem:
f is provable if and only if f is universally valid. ผมไม่ค่อยเข้าใจความหมายครับ ทบ.ว่าไว้แบบนั้น มันสื่อถึงคำว่า completeness ยังไง ขอคำแนะนำหน่อยครับ ขอบคุณครับ
__________________
$ \rho\iota\gamma$o$\rho \ \iota\sigma \ \omega$o$\rho\kappa\iota\nu\gamma \ \eta\alpha\rho\delta $ |
#2
|
|||
|
|||
completeness Theorm กับ Axiom of Completness ต่างกันไหมครับ?
(เท่าที่รู้ Axiom of Completness คือสัจพจน์ความบริบูรณ์ใช่ไหมครับ)
__________________
Mathematics is the queen of Science. |
#3
|
||||
|
||||
completeness theorem เป็นทฤษฏีบทว่าข้อความใดๆที่พิสูจน์มาจาก initial predicate calculus axioms และ rules of inference นั้น universally valid หมายถึงนำข้อความนั้นไปใช้กับ interpretation ใดๆก็ได้
ส่วน axioms of completeness คงหมายถึง initial predicate calculus axioms ทั้งหกข้อ มั้งครับ
__________________
$ \rho\iota\gamma$o$\rho \ \iota\sigma \ \omega$o$\rho\kappa\iota\nu\gamma \ \eta\alpha\rho\delta $ |
#4
|
|||
|
|||
คิดว่าคำว่า Completeness อาจเพราะว่าเอาไปแปลความหมายอย่างไรก็ได้มั๊ง หรือไม่ก็อาจเป็นเพราะว่าไม่จำเป็นต้องใช้กฎพวก Inference Rule (เช่น Modus Ponens หรือ Constructive Dilemma) ไปอธิบายสูตรที่ Logically Valid อีก
(เท่าที่ผมเจอมาเขาใช้คำว่า Logically Valid ครับ ถ้าคำว่า Universally Valid กับ Logically Valid เหมือนกัน ก็บอกได้ว่า Universally Valid คือ "เป็นจริงทุกๆ แบบจำลอง (โมเดล) ของสูตรนั้นๆ", Provable ตรงตัวคือ "พิสูจน์ได้" )
__________________
แม้จะไม่เก่งเลข แต่ขอให้ใจรัก |
#5
|
|||
|
|||
รบกวนช่วยหน่อยครับ
หาประพจน์ทั่วไปของ 1) 1,3,9,27 2) 1,5,13,29 3) ึ2,ึ6,3ึ2 |
#6
|
||||
|
||||
ขอบคุณมากครับคุณ dif_x ฟังดูเข้าท่าดี ผมจะเก็บคำอธิบายสองอันนั้นไปคิดต่อครับ
__________________
$ \rho\iota\gamma$o$\rho \ \iota\sigma \ \omega$o$\rho\kappa\iota\nu\gamma \ \eta\alpha\rho\delta $ |
#7
|
|||
|
|||
พจน์ทั่วไป
1. 3n-1 2. 1+4(2n-1-1) 3. ึ2*ึ3n-1
__________________
-*- In Mathematics, nothing is impossible..... -*- |
หัวข้อคล้ายคลึงกัน | ||||
หัวข้อ | ผู้ตั้งหัวข้อ | ห้อง | คำตอบ | ข้อความล่าสุด |
Alternating series (and Abel's theorem) | Punk | Calculus and Analysis | 3 | 17 กรกฎาคม 2012 21:05 |
Tchebyshev theorem | passer-by | คณิตศาสตร์อุดมศึกษา | 11 | 01 กุมภาพันธ์ 2006 23:46 |
Last Fermat Theorem | gools | ทฤษฎีจำนวน | 10 | 23 ตุลาคม 2005 20:43 |
Mean Value Theorem | kanji | ปัญหาคณิตศาสตร์ทั่วไป | 8 | 27 มกราคม 2005 18:06 |
Fundamental Theorem of Calculus .... Not!!! | aaaa | ปัญหาคณิตศาสตร์ทั่วไป | 13 | 27 มกราคม 2005 15:36 |
|
|