Някои истини не могат по принцип да бъдат доказани: математиците откриха границите на собствената си реалност.
От няколко десетилетия изследователите, изучаващи теорията на изчислителната сложност, се опитват да докажат стриктно това, което изглежда интуитивно очевидно: има задачи, които просто не...