“计算复杂性”理论奠基人Hartmanis逝世，享年94岁！

7月29日，“计算复杂性”理论奠基人、1993年图灵奖得主Juris Hartmanis去世，享年94岁。

1928年，Hartmanis出生在苏联拉脱维亚。1949年，他取得了德国马尔堡大学（University of Marburg）物理学硕士学位。

1950年，Hartmanis移居到了美国，进入堪萨斯大学攻读硕士学位。接着，他到加州理工学院攻读博士，从事格论 (latticetheory) 的研究，取得了数学博士学位。

1965年，Hartmanis担任康奈尔大学教授。在这段时间里，Hartmanis创立了计算复杂性理论。

现在，人们可以很容易测量在图灵机上计算步数需要的时间，但在 他之前，计算机对这一严格的数学推算程序非常繁琐。如果没有复杂性理论，我们可能就无法得出Cook-Levin定理或NP的概念了。
#热门微博# #微博科普# #图灵奖# #计算机#

如果说“男性”衣橱和“女性”衣橱曾存在界限，那么Saint Laurent 2023春夏男装系列将优雅地模糊这个界限。本季Anthony Vaccarello以Paul Bowles 1949年的小说《遮蔽的天空》为灵感，将我们带至马拉喀什的沙漠之地。秀场设计由Es Devlin操刀，在茫茫荒漠里升起环形装置，完全科幻，充满神性巨幅震撼，人身处其中是那样渺小。

#草莓电波# #书影音推荐#

今天要推荐的是歌曲《第二性》，歌手：蔡依林。

收录在蔡依林2014年11月发行的专辑《呸》中。

创意源自1949年西蒙波娃创作的一部存在主义和女性主义的散文名著，传达「新女性力量」。

男生有「阴柔」的一面，可以穿裙子化妆留长发。而女生也有「阳刚」的一面，可以不温文尔雅，可以做职场女性。希望每个人去做自己，打破性别偏见，更不要害怕自己与众不同。