การค้นพบของเขาสั่นคลอนชุมชนการวิจัย

หนึ่งปีหลังจากได้รับปริญญาเอกของเขาในปี 1930 Kurt Godel ตีพิมพ์ทฤษฎีบทที่ชี้ให้เห็นว่ากฎที่ใช้ในการคำนวณทางคณิตศาสตร์อาจไม่สมบูรณ์และสอดคล้องกัน การค้นพบของเขาสั่นคลอนชุมชนการวิจัย ในขณะนั้นนักคณิตศาสตร์ชั้นนำกำลังพยายามสร้างระบบที่แข็งแกร่งของกฎและข้อสมมติฐานสำหรับเรื่องนี้ พวกเขาหวังว่าสิ่งนี้จะช่วยแก้ไขความผิดปกติเชิงตรรกะบางอย่างที่เพิ่งพบเห็น นำโดย David Hilbert ผู้ซึ่งเคยเป็นที่ปรึกษาของ von Neumann ในประเทศเยอรมนีนักวิจัยเหล่านี้ต้องการค้นหาชุดของกฎที่เสร็จสมบูรณ์เพื่อให้งบคณิตศาสตร์ทั้งหมดสามารถพิสูจน์ได้โดยใช้กฎเหล่านี้เท่านั้นและไม่สอดคล้องกับกฎใด ๆ อื่น