2015년 12월 11일. 불완전성 정리가 적용되는 물리 문제가 발견되다

괴델의 불완전성 정리란 참과 거짓을 밝힐 수 없는 명제가 존재한다는 것입니다. 앨런 튜링은 이 문제를 결정불가능한 알고리즘이 존재한다는 것으로 바꾸었습니다. 지난 9일 네이처에는 물질에 포함된 전자의 에너지 값중 가장 낮은 에너지 값과 그 다음 낮은 에너지 값의 차이가 결정불가능 문제와 연관된다는 연구가 발표되었습니다. → 더 보기