Theorem of the Day  

 

 

Home

 

 

Resources Centre

 

 

Gallery Shop

  

 

Visitors' Book

 

  

Acknowledgements 

 

 

Other listings
Subject Listings
Complete Theorem Listing
Alphabetical Theorem List
Index of Mathematicians  
Theorems by Women Mathematicians  

Theorems from Logic and Computer Science

This is a subset of the complete theorem list for the convenience of those who are looking for a particular result in the areas of logic and computer science.

Numbers in brackets are those from the complete listing.

  1. Cook's Theorem on NP-completeness (14)
  2. The Well-Ordering Theorem (17)
  3. The Axiom of Choice (cf. 17)
  4. The Banach–Tarski Paradox (cf. 17)
  5. Cantor's Uncountability Theorem (22)
  6. Cantor's Theorem (23)
  7. The DPRM Theorem (43)
  8. Goodstein's Theorem (73)
  9. Gödel's First Incompleteness Theorem (74)
  10. Gödel's Second Incompleteness Theorem (75)
  11. The Parking Function Formula (103)
  12. The Pumping Lemma (105)
  13. The Robbins Problem (110)
  14. De Morgan's Laws (111)
  15. The Lucas–Lehmer Test (127)
  16. Vaughan Pratt's Theorem (138)
  17. Strassen's Matrix Theorem (139)
  18. The Robinson–Schensted–Knuth Correspondence (143)
  19. Quadratic Nonresidue is Zero-Knowledge Provable (161)
  20. Haken's Unknot Theorem (166)
  21. The Max-Flow Min-Cut Theorem (168)
  22. The Greibach Normal Form Theorem (180)
  23. The Insolvability of the Entscheidungsproblem (186)
  24. Karp's Theorem (Detail) (187)
  25. The Rotation Distance Bound (192)
  26. The Cantor–Bernstein–Schröder Theorem (196)
  27. Kuratowski's 14-Set Theorem (239)