Mathematical proofs
การพิสูจน์ทางคณิตศาสตร์
อ่าน 1 นาทีหลักฐานที่ตรวจสอบได้ทางความน่าจะเป็น
Mathematical proofsในทฤษฎีความซับซ้อนของการ คำนวณ การพิสูจน์ที่ตรวจสอบได้ด้วยความน่าจะเป็น ( PCP ) คือ การพิสูจน์ประเภทหนึ่งที่สามารถตรวจสอบได้ด้วยอัลกอริทึมแบบสุ่มโดยใช้ปริมาณความสุ่มที่จำกัด...
อ่าน 1 นาทีทฤษฎีบท
Concepts in logicในคณิตศาสตร์และตรรกศาสตร์เชิงรูปธรรมทฤษฎีบทคือข้อความที่ได้รับการพิสูจน์ แล้ว หรือสามารถพิสูจน์ได้
อ่าน 1 นาทีหลักฐานที่ไม่สามารถสำรวจได้
Automated theorem provingในปรัชญาคณิตศาสตร์ การพิสูจน์ที่ไม่สามารถตรวจสอบได้ ( non -surveyable proof)คือการพิสูจน์ทางคณิตศาสตร์ที่ถือว่าเป็นไปไม่ได้ที่นักคณิตศาสตร์มนุษย์จะตรวจสอบได้และด้วยเหตุนี้จึง...
อ่าน 1 นาทีกฎของจำนวนมาก
Asymptotic theory (statistics)ในทฤษฎีความน่าจะ เป็น กฎของจำนวนมากเป็นกฎทางคณิตศาสตร์ที่ระบุว่าค่าเฉลี่ยของผลลัพธ์ที่ได้จากตัวอย่างสุ่มอิสระจำนวนมากจะลู่เข้าสู่ค่าที่แท้จริง หากค่าที่แท้จริงมีอยู่...
อ่าน 1 นาทีวิธีการเชิงความน่าจะเป็น
Combinatoricsในทางคณิตศาสตร์วิธีการเชิงความน่าจะเป็นเป็น วิธีการ ที่ไม่สร้างแบบจำลองขึ้นมาเอง โดยส่วนใหญ่ใช้ในคณิตศาสตร์เชิงการจัดเรียงและริเริ่มโดยพอล...
อ่าน 1 นาทีการเหนี่ยวนำเชิงโครงสร้าง
CS1: long volume valueการอุปมานเชิงโครงสร้างเป็นวิธีการพิสูจน์ที่ใช้ในตรรกศาสตร์ทางคณิตศาสตร์ (เช่น ในการพิสูจน์ทฤษฎีบทของโลส ) วิทยาศาสตร์คอมพิวเตอร์ทฤษฎีกราฟและสาขาคณิตศาสตร์อื่นๆ
อ่าน 1 นาทีความเข้มงวด
Mathematical proofsRigour ( ภาษาอังกฤษแบบบริติช ) หรือrigor ( ภาษาอังกฤษแบบอเมริกันดูความแตกต่างของการสะกด ) อธิบายถึงสภาวะของความแข็งทื่อหรือความเข้มงวดข้อจำกัดเหล่านี้อาจถูกกำหนดโดยสิ่งแวดล้อม...
อ่าน 1 นาทีพิสูจน์โดยการหมดสิ้น
CS1 maint: multiple names: authors listการพิสูจน์โดยการครอบคลุมทุกกรณี หรือที่รู้จักกันในชื่อ การพิสูจน์โดยกรณีการพิสูจน์โดยการวิเคราะห์กรณีการเหนี่ยวนำที่สมบูรณ์หรือวิธีการแบบใช้กำลังทั้งหมดเป็นวิธีการพิสูจน์ทางคณิตศาส...
อ่าน 1 นาทีหลักฐานของความเป็นไปไม่ได้
Mathematical logicในทางคณิตศาสตร์ทฤษฎีบทที่เป็นไปไม่ได้คือทฤษฎีบทที่แสดงให้เห็นว่าปัญหาหรือชุดปัญหาทั่วไปไม่สามารถแก้ไขได้
อ่าน 1 นาทีแผนภาพการสลับที่
Category theoryในคณิตศาสตร์และโดยเฉพาะอย่างยิ่งในทฤษฎีหมวดหมู่แผนภาพการสลับ ที่ คือแผนภาพที่เส้นทางทิศทางทั้งหมดในแผนภาพที่มีจุดเริ่มต้นและจุดสิ้นสุดเดียวกันนำไปสู่ผลลัพธ์เดียวกันกล่าวกันว่าแผนภา...
อ่าน 1 นาทีพิสูจน์ได้โดยไม่ต้องใช้คำพูด
Mathematical proofsในทางคณิตศาสตร์การพิสูจน์โดยไม่ใช้คำพูด (หรือการพิสูจน์ด้วยภาพ ) คือการแสดงเอกลักษณ์หรือข้อความทางคณิตศาสตร์ที่สามารถพิสูจน์ได้ว่าชัดเจนในตัวเองด้วยแผนภาพโดยไม่ต้องมีข้อความอธิบายป...
อ่าน 1 นาทีรายชื่อบทพิสูจน์ทางคณิตศาสตร์แบบยาว
All accuracy disputesนี่คือรายชื่อบทพิสูจน์ทางคณิตศาสตร์ ที่ยาวผิดปกติ บทพิสูจน์เหล่านี้มักใช้วิธีการพิสูจน์เชิงคำนวณและอาจถือได้ว่าไม่สามารถตรวจสอบได้ด้วยวิธีสำรวจ
อ่าน 1 นาทีQED
InitialismsQED (หรือเขียนว่าQED ) เป็นอักษรย่อของวลีภาษาละตินquod erat demonstrandumซึ่งหมายถึง "สิ่งที่ต้องพิสูจน์" ตามตัวอักษรแล้ว หมายถึง "สิ่งที่ต้องแสดงให้เห็น" ตามธรรมเนียมแล้ว
อ่าน 1 นาทีการพิสูจน์ของทัวริง
1937 in scienceบทพิสูจน์ของ Turingเป็นบทพิสูจน์ที่Alan Turingนำเสนอเมื่อวันที่ 12 พฤศจิกายน พ.ศ. 2479 และตีพิมพ์ครั้งแรกในปี พ.ศ.
อ่าน 1 นาทีรายชื่อทฤษฎีทางวิทยาศาสตร์ที่ถูกแทนที่แล้ว
CS1 errors: bare URLรายชื่อนี้ประกอบด้วยทฤษฎีทั่วไปที่เป็นที่รู้จักกันดีในวิทยาศาสตร์และประวัติศาสตร์ธรรมชาติและปรัชญาธรรมชาติ ในยุคก่อนวิทยาศาสตร์ ซึ่งต่อมาได้ถูกแทนที่ด้วยทฤษฎีทางวิทยาศาสตร์ อื่น ๆ
อ่าน 1 นาทีข้อโต้แย้งแนวทแยงของแคนเตอร์
Argumentsการพิสูจน์โดยใช้แนวทแยงของแคนเตอร์ (รวมถึงชื่ออื่นๆ ที่คล้ายคลึงกัน ) เป็นการพิสูจน์ทางคณิตศาสตร์ว่ามีเซตอนันต์ที่ไม่สามารถจับคู่แบบหนึ่งต่อหนึ่งกับเซตอนันต์ของจำนวนธรรมชาติ ได้...
หลักฐานโดยการข่มขู่
English phrasesการพิสูจน์โดยการข่มขู่ (หรือargumentum verbosum ) เป็นวลีตลกที่ใช้กันส่วนใหญ่ในคณิตศาสตร์เพื่ออ้างถึงรูปแบบเฉพาะของการโบกมือโดยที่พยายามนำเสนอข้อโต้แย้งโดยการให้ข้อโต้แย้งที่เต็มไป...
อ่าน 1 นาทีการพิสูจน์ทางคณิตศาสตร์
CS1 German-language sources (de)การพิสูจน์ทางคณิตศาสตร์คือการให้เหตุผลแบบนิรนัย สำหรับข้อความทางคณิตศาสตร์โดยแสดงให้เห็นว่าสมมติฐานที่ระบุไว้รับประกันข้อสรุปอย่างมีเหตุผล การให้เหตุผลอาจใช้ข้อความอื่น ๆ...
อ่าน 1 นาทีการพิสูจน์เบื้องต้น
Elementary mathematicsในทางคณิตศาสตร์การพิสูจน์แบบพื้นฐานคือการพิสูจน์ทางคณิตศาสตร์ที่ใช้เพียงเทคนิคพื้นฐานเท่านั้น โดยเฉพาะอย่างยิ่ง ในทฤษฎีจำนวน คำนี้ใช้...
อ่าน 1 นาทีทฤษฎีแบบจำลอง
CS1 Spanish-language sources (es)ในตรรกศาสตร์คณิตศาสตร์ทฤษฎีแบบจำลองคือการศึกษาความสัมพันธ์ระหว่างทฤษฎีเชิงรูปธรรม (ชุดประโยคในภาษาเชิงรูปธรรมที่แสดงข้อความเกี่ยวกับโครงสร้างทางคณิตศาสตร์ ) และแบบจำลอง...
อ่าน 1 นาทีรายการบทพิสูจน์ทางคณิตศาสตร์
Mathematical proofsทฤษฎีความไม่สมบูรณ์ของเกอเดลทฤษฎีบทความไม่สมบูรณ์ข้อแรกของเกอเดลทฤษฎีบทความไม่สมบูรณ์ข้อที่สองของเกอเดล
อ่าน 1 นาทีการพิสูจน์เชิงการจัดเรียง
Enumerative combinatoricsในทางคณิตศาสตร์คำว่าการพิสูจน์เชิงการจัดเรียง มักใช้เพื่อหมายถึง การพิสูจน์ทางคณิตศาสตร์สองประเภท ได้แก่:
อ่าน 1 นาทีหลักฐานแบบมีเงื่อนไข
Conditionalsการพิสูจน์แบบมีเงื่อนไขคือการพิสูจน์ที่อยู่ในรูปแบบของการกล่าวอ้างเงื่อนไขและพิสูจน์ว่าส่วนนำของเงื่อนไขนั้นนำไปสู่ส่วนตาม อย่าง แน่นอน
อ่าน 1 นาทีหลักฐานจากหนังสือเล่มนั้น
1998 non-fiction booksหนังสือ Proofs from THE BOOKเป็นหนังสือรวบรวมบทพิสูจน์ทางคณิตศาสตร์โดย Martin Aignerและ Günter M.