native_script_text: കമ്പ്യൂട്ടർ കാൻ ഒൺലി ഇൻഡിക്കേറ്റ് ദാറ്റ് ഇറ്റ് ഈസ് നോട്ട് സോൾവബിൾ. അല്ലെങ്കിൽ ദിസ് തിയറം ഈസ് അൺപ്രൂവബിൾ ഓർ മെയ്ബി അണ്ടർ ദിസ് കൺസ്ട്രക്ട് ഇറ്റ് ഈസ് നോട്ട് ഗോയിങ് ടു വർക്ക്.
romanized_text: computer can only indicate that it is not solvable. allenkil this theorem is unprovable or maybe under this construct it is not going to work.