奋斗者·正青春｜北大教授王彦晶：走上国际学术舞台的逻辑学家