हमने हल नहीं किया है कि क्या छिपा त्रुटि की किसी भी संभावना के बिना अत्यंत लंबे गणितीय सबूतों की शुद्धता को पूरी तरह से और कुशलतापूर्वक सत्यापित करना संभव है।
Open
WS01336
North America / United States
कुछ सबूत हजारों पृष्ठों को स्पैन करते हैं या बड़े पैमाने पर कंप्यूटर सत्यापन पर भरोसा करते हैं, और क्या पूरा, त्रुटि रहित विश्वास कभी भी वास्तव में इस तरह के सबूतों के लिए वास्तव में असुरक्षित epistemological और गणितीय सवाल रहता है। यह गणितीय निश्चितता के भविष्य के बारे में बहस चल रही है।
Team Humans Club. (2026). हमने हल नहीं किया है कि क्या छिपा त्रुटि की किसी भी संभावना के बिना अत्यंत लंबे गणितीय सबूतों की शुद्धता को पूरी तरह से और कुशलतापूर्वक सत्यापित करना संभव है।. World Solve (WS01336). https://www.worldsolve.org/?view=problem&id=1336