So one can not just talk abstractly about " Yes, let's talk about mathematical logic" .

“好，让我们来谈谈数学逻辑。”

And so, at Stanford, that led me to the major that was called symbolic systems, which is this kind of medley of philosophy, linguistics, psychology, computer science, some mathematical logic.

所以，在斯坦福，这让我选择了被称为符号系统的专业，这是一种哲学，语言学，心理学，计算机科学，一些数学逻辑的混合。