Từ khóa: "Ứng dụng lý luận logic trong toán học"

SVO - Một nhà toán học người Hàn Quốc đã giành được sự công nhận quốc tế nhờ giải quyết được một bài toán hình học hóc búa mà người ta đã không thể chứng minh được trong gần sáu thập kỷ.