1950 കളിൽ ആണ് ഈ പ്രശ്നം ചർച്ചകളിൽ വന്നു തുടങ്ങിയത്. ജോൺ ഫോർബ്സ് നാഷ് ജൂനിയർ നാഷണൽ സെക്യൂരിറ്റി ഏജൻസിയ്ക്ക് അയച്ച കത്തുകളിലും കുർട് ഗ്വോഡെൽ ജോൺ ഫോൺ ന്യൂമാൻ'ന് അയച്ച കത്തുകളിലും ഈ പ്രശ്നത്തെപ്പറ്റി പരാമർശിച്ചതായി കാണുന്നു. സ്റ്റെഫാൻ കുക്ക് 1971 ൽ പ്രസിദ്ധീകരിച്ച തന്റെ "The complexity of theorem proving procedures" എന്ന പ്രബന്ധത്തിലാണ് ഈ പ്രശ്നത്തിന്റെ കൃത്യമായ നിർവചനം ആദ്യം പുറത്തുവന്നത്. (ലിയോണിഡ് ലെവിൻ 1973-ൽ ഇതിന്റെ നിർവചനം സ്വതന്ത്രമായി പ്രസിദ്ധപ്പെടുത്തിയിരുന്നു.) ഇന്ന് കമ്പ്യൂട്ടർ ശാസ്ത്രത്തിലെ ഏറ്റവും പ്രധാനപ്പെട്ട പരിഹരിയ്ക്കപ്പെടാത്ത സമസ്യയായി ഇതിനെ കണക്കാക്കുന്നു. ക്ലേ മാത്തമാറ്റിക്സ് ഇൻസ്റ്റിറ്റ്യൂട്ട് തെരഞ്ഞെടുത്തിട്ടുള്ള സഹസ്രാബ്ദ പുരസ്‌കാര സമസ്യകളിൽ ഒന്നാണ് ഇത്. ആദ്യം ഈ പ്രശ്നം പരിഹരിയ്ക്കുന്നയാൾക്ക് ഒരു ദശലക്ഷം ഡോളറിന്റെ സമ്മാനത്തുകയും അവർ പ്രഖ്യാപിച്ചിട്ടുണ്ട്.

തെളിവിനുള്ള ശ്രമങ്ങൾ
ആദ്യകാല രൂപങ്ങൾ
വിവരണം
അനന്തരഫലങ്ങൾ