一个可实作的算法，而且以穷举法列出所有可能的话，运算时间和空间上并不划算。大英博物馆算法可以下例说，假设有一问题，希望得到一个最短的程式来解决，则求此程式的方法如下：先从长度为n=1开始，产生所有长度n的原始码，再检查当中有否可解决此问题的程式（因停机问题，此检查过程不可能实作），若否，则测试n=2，如此类推，最终必会找到该最短程式，然而此方法却须花费非常长的时间（大部分问题所须的时间比宇宙的生命还长）。类似方法可用以证明例如优化、公式证明、辨别等问题可解还是不可解。