คอมพิวเตอร์
คอมพิวเตอร์อิเล็กทรอนิกส์เครื่องแรกถูกพัฒนาขึ้นในช่วงกลางคริสต์ศตวรรษที่ 20 (ค.ศ. 1940 – ค.ศ. 1945) แรกเริ่มนั้น คอมพิวเตอร์มีขนาดเท่ากับห้องขนาดใหญ่ ซึ่งใช้พลังงานมากเท่ากับเครื่องคอมพิวเตอร์ส่วนบุคคล (พีซี) สมัยใหม่หลายร้อยเครื่องรวมกัน[4]
ทฤษฎีบทสี่สี
ทฤษฎีบทสี่สี เป็นทฤษฎีบทแรกที่ถูกพิสูจน์ด้วยคอมพิวเตอร์ แต่การพิสูจน์นี้ไม่เป็นที่ยอมรับจากนักคณิตศาสตร์ส่วนใหญ่ เพราะว่ามันไม่สามารถตรวจสอบด้วยคนได้ และบางคนถึงกับกังวลในความถูกต้องของตัวแปลภาษา (คอมไพเลอร์) และฮาร์ดแวร์ที่ใช้ทำงานโปรแกรมสำหรับการพิสูจน์