คอมพิวเตอร์ช่วยพยาน

  บทความหลัก: คอมพิวเตอร์ช่วยพิสูจน์

    จนถึงศตวรรษที่ยี่สิบก็สันนิษฐานว่าหลักฐานใดๆได้ในหลักการตรวจสอบโดยนักคณิตศาสตร์มีอำนาจในการยืนยันความถูกต้องของ
อย่างไรก็ตามคอมพิวเตอร์ที่ใช้ตอนนี้ทั้งสองพิสูจน์ theorems และดำเนินการคำนวณที่ยาวเกินไปสำหรับใดๆมนุษย์
หรือทีมบุคลากรเพื่อตรวจสอบ; หลักฐานแรกของ ทฤษฎีบทสี่สี เป็นตัวอย่างของคอมพิวเตอร์ช่วยพิสูจน์บางคนกังวลว่าเป็นไปได้ของข้อผิดพลาด
ในโปรแกรมคอมพิวเตอร์หรือใช้เป็นข้อผิดพลาดเวลาในการคำนวณสายความถูกต้องของคอมพิวเตอร์ดังกล่าวช่วยพยานในคำถาม
ในทางปฏิบัติโอกาสที่ผิดพลาด invalidating คอมพิวเตอร์ช่วยพิสูจน์ได้ลดลง incorporating เหลือเฟือและตนเองในการตรวจสอบการ
คำนวณและการพัฒนาวิธีอิสระหลายและโปรแกรม

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s