That is ironic because it was Kurt

That is ironic because it was Kurt Gödel, a close friend of Einstein’s, who showed that it is impossible to prove every true statement contained in a mathematical system using only the conceptual apparatus of that system. It is fascinating to speculate that the youthful dapper logician and the aging rumpled physicist might have discussed the inability to prove
E =mc2 on one of their long morning walks to the Institute 0 in Princeton.

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

ที่เป็นเรื่องก็ Kurt Gödel เพื่อนสนิทของไอน์สของ ซึ่งแสดงให้เห็นว่า เป็นไปไม่ได้เพื่อพิสูจน์ทุกงบจริงที่มีอยู่ในระบบทางคณิตศาสตร์ใช้เฉพาะเครื่องมือแนวคิดของระบบที่ จึงน่าจะคาดการณ์ว่า logician ร้อยอ่อนเยาว์และ physicist rumpled อายุอาจมีหารือไม่สามารถพิสูจน์
E = mc2 ของสถาบัน 0 ในปรินซ์ตันเดินเช้ายาวของพวกเขา

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

ว่าเป็นเรื่องน่าขันเพราะมันเป็นเคิร์ตGödel, เพื่อนสนิทของ Einstein 's ซึ่งแสดงให้เห็นว่ามันเป็นไปไม่ได้ที่จะพิสูจน์ความจริงทุกคำสั่งที่มีอยู่ในระบบทางคณิตศาสตร์โดยใช้เพียงอุปกรณ์แนวความคิดของระบบที่ มันเป็นที่น่าสนใจที่จะคาดเดาว่าตรรกวิทยาเรียบร้อยอ่อนเยาว์และฟิสิกส์ยับอายุอาจจะมีการกล่าวถึงการไร้ความสามารถที่จะพิสูจน์
E = MC2 ที่หนึ่งในตอนเช้านานของพวกเขาเดินไปที่สถาบัน 0 ในพรินซ์ตัน

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

มันเป็นแดกดันเพราะเคิร์ทไป̈เดล เป็นเพื่อนสนิทของไอน์สไตน์ ที่พบว่ามันเป็นไปไม่ได้ที่จะพิสูจน์ทุกจริงงบที่มีอยู่ในระบบคณิตศาสตร์ที่ใช้แค่ 2 เครื่องที่ระบบ มันเป็นที่น่าสนใจที่จะคาดการณ์ว่าหนุ่ม แดปเปอร์ ผู้เชี่ยวชาญในตรรกวิทยาและอายุ rumpled นักฟิสิกส์ที่อาจได้กล่าวถึงการไร้ความสามารถที่จะพิสูจน์
e = mc2 หนึ่งในตอนเช้าของพวกเขายาวเดินไปสถาบัน 0 ในมหาวิทยาลัยพรินซ์ตัน