unprovability

常見(jiàn)例句

• Their unprovability was discovered by an Austrian mathematical genius called Kurt Godel, who unfortunately went insane toward the end of his life.
  發(fā)現(xiàn)這種不可証明性的是奧地利數(shù)學(xué)天才庫(kù)爾特·高戴爾(Kurt Godel),不幸的是他在晚年發(fā)了瘋。
返回 unprovability