Kurt Godel’s Incompleteness Theorem

Kurt Godel’s Incompleteness Theorems (Godel,1931) showed that the programme could not be fulfilled. His first theorem showed that not even all the truths of arithmetic can be derived from Peano’s Axioms (or any larger recursive axiom set).

ผลลัพธ์ (ไทย) 1:

Kurt Godel เกอเดลทฤษฎี (Godel, 1931) พบว่า โครงการไม่สามารถดำเนินการ ทฤษฎีบทแรกของเขาแสดงให้เห็นว่าที่จริงไม่ได้ทั้งหมดของเลขคณิตสามารถได้รับมาจากสัจพจน์ของ Peano (หรือมีขนาดใหญ่ซ้ำสัจพจน์ชุด) .

ผลลัพธ์ (ไทย) 2:

เคิร์ตของGödelขาดทฤษฎีบท (เกอเดล, 1931) แสดงให้เห็นว่าโปรแกรมที่ไม่สามารถเติมเต็ม ทฤษฎีบทแรกของเขาแสดงให้เห็นว่าไม่จริงทั้งหมดของการคำนวณจะได้รับจากอาโน่ของหลักการ (หรือขนาดใหญ่ชุดความจริงใด ๆ recursive)

ผลลัพธ์ (ไทย) 3:

เคิร์ทเกอเดลทฤษฎีบท ( incompleteness เกอเดล , 1931 ) พบว่า โครงการอาจไม่สมหวัง ทฤษฎีบทแรกของเขาพบว่าไม่ใช่ความจริงทั้งหมดของคณิตศาสตร์สามารถได้มาจากสัจพจน์ของเปอาโน ( หรือใด ๆของผู้ใหญ่พังเพย

ชุด )