1樓：
感覺做 Type Theory, Foundation of Mathematics 的都很 「歐式」...
經常讀到的
Per Martin-Lf
Thomas Streicher
Peter Aczel
Nicola Gambino
Zhaohui Luo
Steve Simpson
Thorsten Altenkirch
Conor Mcbride
Peter Dybjer
...不過對做純數及純邏輯的了解的不多...
2樓：
僅僅稍微了解過 quantum 相關的，試著說幾句。
提兩位熟悉的吧，都是 quantum PL theory 和 quantum logic 相關的，應明生和 Peter Selinger。
應老師早年建立了正交模格上的自動機理論，近期工作則主要關於量子程式控制流（比如Floyd－Hoare Logic 的量子版本及其應用，以及用二次量子化來描述 quantum recursion 等）。
Peter Selinger 則是 quantum lambda calculus 的代表人物之一。近年還參與設計實現了 Quipper（The Quipper Language，以 Haskell 為宿主語言的量子程式語言）。
最後，推薦乙個會議。Quantum Physics and Logic：QUANTUM PHYSICS and LOGIC (QPL 2016) 歷年的 steering committee 和 program committee 裡應該有不少滿足題主要求的人。
你所在領域，有哪些萌萌噠的理論 牛人 書？
皎皎雲間月 我是學心理學的 理論和牛人都太多了 下面按照流派來介紹幾個 第一，也是最出名的 精神分析學派，代表人物弗洛伊德榮格阿德勒 強調無意識的作用 認為童年時期的經驗會對人的一生造成深遠的影響。同時強調性慾對人的影響。代表作品 夢的解析 自卑與超越 榮格心理學手冊 第二格式塔學派 這個學派認為，...
商湯科技 SenseTime 有哪些牛人？
winlooser 這些公司初創的時候，就弄這麼高的估值，以後再融資，很容易尷尬。小公尺如果不是把估值搞的那麼高，適當配置一些債務融資，現在估計都已經能上市了。 唐明 客觀評價下，商湯科技為了炒作，吹高估值，確實有些宣傳 言過其實 技術可能有一些，但是沒有清晰的商業模式，不懂市場，不懂產品。即使裡面...
有哪些當過和尚的牛人？
琴皮皮的lukey汪 朱元璋，乞丐，和尚，都有做過，成為明朝的開國皇帝，和尚在古代是注重德行的職業，他的和尚生涯讓他身份有了乙個提公升，從乙個不受重視乞丐轉換成乙個神職人員，古代人迷信，神職人員是對民眾有了先天親近的，經書典故讓他明白事理，修行讓他懂得怎麼籠絡人心！和尚生涯相當於把他從白生變成文化人...