ทฤษฎีความซับซ้อนในการคำนวณ
ทฤษฎีความซับซ้อนในการคำนวณ (English: Computational Complexity Theory) เป็นสาขาหนึ่งของทฤษฎีการคำนวณ ที่มุ่งเน้นไปในการวิเคราะห์เวลาและเนื้อที่สำหรับการแก้ปัญหาหนึ่ง ๆ โดยปกติแล้วคำว่า "เวลา" ที่เราพูดถึงนั้น จะเป็นการนับจำนวนขั้นตอนที่ใช้ในการแก้ปัญหา ส่วนในเรื่องของ "เนื้อที่" เราจะพิจารณาเนื้อที่ ๆ ใช้ในการทำงานเท่านั้น (ไม่นับเนื้อที่ ๆ ใช้ในการเก็บข้อมูลป้อนเข้า). ในบางกรณีเราอาจจะสนใจการวิเคราะห์ปริมาณอื่น ๆ ที่นอกเหนือไปจากพื้นที่กับเวลา ยกตัวอย่างเช่น ในการประมวลผลแบบขนาน เราอาจจะวิเคราะห์ว่าต้องใช้หน่วยประมวลผลกี่ตัวในการแก้ปัญหาที่กำหนด. ทฤษฎีความซับซ้อนต่างจาก ทฤษฎีการคำนวณได้ ที่จะเน้นไปในการวิเคราะห์ว่าปัญหาสามารถแก้ได้หรือไม่ โดยไม่สนใจทรัพยากรที่ใช้ในการแก้ปัญหา
คาร์ล ฟรีดริช เกาส์
วิทยานิพนธ์ปริญญาเอกของเกาส์เป็นอีกหนึ่งความก้าวหน้าอันยิ่งใหญ่ในวงการคณิตศาสตร์สมัยนั้น เมื่อเกาส์เป็นผู้แรกที่สามารถพิสูจน์ทฤษฎีบทมูลฐานของพีชคณิต (fundamental theorem of algebra) ซึ่งกล่าวคร่าวๆ ว่าทุกสมการพหุนามอันดับใดๆ จะมีคำตอบอยู่ในรูปจำนวนเชิงซ้อนเสมอ ทฤษฎีบทนี้ช่วยให้วงการคณิตศาสตร์เข้าใจว่าจำนวนเชิงซ้อนมีบทบาทสำคัญมากเพียงใด และยังเป็นทฤษฎีบทที่นักคณิตศาสตร์เช่น ดาลองแบร์, ออยเลอร์, ลากรองช์ หรือ ลาปลาส ต่างได้เคยพยายามพิสูจน์แล้ว ยิ่งไปกว่านั้นในช่วงชีวิตของเกาส์ เขาได้ให้บทพิสูจน์ทฤษฎีบทนี้ถึง 4 รูปแบบที่ต่างกันโดยสิ้นเชิง ซึ่งทำให้เกิดความเข้าใจในคุณสมบัติของจำนวนเชิงซ้อนมากขึ้นเรื่อย ๆ