ખાસ કરીને, વીસમી સદીના પ્રારંભમાં કર્ટ ગોડલ દ્વારા ઘડવામાં આવેલ પ્રખ્યાત "અપૂર્ણતાના પ્રમેય" દ્વારા કોઈ પણ ઔપચારિક ઍલ્ગોરિધમિક સિસ્ટમ (ફરીથી, કોઈપણ કમ્પ્યુટર સહિત) નિષેધ છે.