Hilbert's twenty-fourth problem
હિલ્બર્ટની ચોવીસમી સમસ્યા એ એક ગાણિતિક સમસ્યા છે જે હિલ્બર્ટની સમસ્યાઓ તરીકે ઓળખાતી 23 સમસ્યાઓની સૂચિના ભાગ રૂપે પ્રકાશિત કરવામાં આવી ન હતી પરંતુ ડેવિડ હિલ્બર્ટની મૂળ નોંધોમાં તેનો સમાવેશ કરવામાં આવ્યો હતો. સમસ્યા ગાણિતિક સાબિતીઓમાં સરળતાના માપદંડ અને આપેલ સાબિતી શક્ય તેટલી સરળ છે તે સાબિત કરવાની શક્તિ સાથે સાબિતી સિદ્ધાંતના વિકાસ માટે પૂછે છે. જર્મન ઇતિહાસકાર રુડિગર થિએલે 2000માં 24મી સમસ્યાની પુનઃ શોધ કરી હતી, જેમાં નોંધ્યું હતું કે હિલ્બર્ટે હિલ્બર્ટની સમસ્યાઓ અથવા કોઈપણ પ્રકાશિત ગ્રંથો રજૂ કરતા વ્યાખ્યાનમાં 24મી સમસ્યાનો સમાવેશ કર્યો નથી. હિલ્બર્ટના મિત્રો અને સાથી ગણિતશાસ્ત્રીઓ એડોલ્ફ હર્વિટ્ઝ અને હર્મન મિન્કોવ્સ્કી આ પ્રોજેક્ટમાં નજીકથી સંકળાયેલા હતા પરંતુ તેમને આ સમસ્યાનું કોઈ જ્ઞાન નહોતું. રુડિગર થિએલના પેપરમાં આપવામાં આવેલી હિલ્બર્ટની નોંધોમાંથી આ સંપૂર્ણ લખાણ છે. આ વિભાગનું ભાષાંતર રુડિગર થિએલે દ્વારા કરવામાં આવ્યું હતું. 2002માં, થિએલ અને લેરી વોસે હિલ્બર્ટની ચોવીસમી સમસ્યા પર એક લેખ પ્રકાશિત કર્યો હતો જેમાં સ્વચાલિત તર્ક, તર્ક અને ગણિતના વિવિધ મુદ્દાઓ સાથેના તેના સંબંધ વિશે ચર્ચા કરવામાં આવી હતી. સંદર્ભો 24