หลักฐานอย่างเป็นทางการ

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

  คำถามคลาสสิกในปรัชญาถามว่าหลักฐานอันคณิตศาสตร์มี การวิเคราะห์ หรือ สังเคราะห์ Kant ผู้แนะนำ วิเคราะห์-เด่นสังเคราะห์ เชื่อหลักฐานอันคณิตศาสตร์จะสังเคราะห์

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