Trong toán học dân gian,"định lý không có bữa trưa miễn phí"của David Wolpert và William G. Macready xuất hiện năm 1997 trong bài báo"Tối ưu các định lý không có bữa trưa miễn phí"(No Free Lunch Theorems for Optimization"). Trước đây, Wolpert kế thừa các định lý không có bữa trưa miễn phí dành cho học máy (suy luận thống kê).
Năm 2005, Wolpert và Macready đã chỉ ra định lý đầu tiên trong bài báo"tuyên bố rằng bất kỳ hai thuật toán tối ưu nào đều là tương đương khi hiệu suất của chúng đều là trung bình xuyên suốt trên tất cả các vấn đề có thể xảy ra".