The notion of a function is fundamental in mathematics, and the λ-calculus provides a way to formalize this notion.
函数的概念在数学中是基础的，而λ演算提供了一种形式化这一概念的方法。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
邻居亲朋不要比，儿孙琐事由他去。
佚名名人名言哲理格言警句语录 佚名
AI不会取代人类，但会用AI的人类会取代不用AI的人类。
李开复名人名言哲理格言警句语录 李开复
生活是不公平的，不管你的境遇如何，你只能全力以赴。
斯蒂芬·威廉·霍金名人名言哲理格言警句语录 斯蒂芬·威廉·霍金
每个人都有投资股票赚钱所需要的知识，但并非每个人都有投资股票赚钱所需要的胆略，有识且有胆才能在股票投资上赚大钱。如果你在股市大跌的恐慌中很容易受别人影响，吓得赶紧抛掉手中所有的股票，那么胆小怕跌的你最好不要投资股票，也不要投资股票型基金。
彼得·林奇名人名言哲理格言警句语录 彼得·林奇
互联网公司最大的敌人不是竞争对手，而是自己。
周鸿祎名人名言哲理格言警句语录 周鸿祎
留影天要暗了，最后一道夕阳的馀光即将消逝。那场球赛，我们一败涂地，大家垂头丧气地默默离开。我们还是做出胜利的手势吧！多年以后，谁会记住那场令人沮丧的球赛呢？只会看见相片里我们灿烂的笑容。
几米名人名言哲理格言警句语录 几米
最重要的是享受你的生活——快乐——这才是最重要的。
The most important thing is to enjoy your life—to be happy—it's all that matters.
罗素·克劳名人名言哲理格言警句语录 罗素·克劳
Sales rarely get made on the first pitch. Just because you believe in something doesn’t mean everyone else will. You need to be able to sell your vision with conviction over and over again. Most people don’t like change, so you need to be able to convince them why they should accept it. Don’t be afraid to ask for what you want.
极少有人能在首次推介中完成销售。仅仅因为你对一些事物有信念，并不意味着其他人也愿意接受。你需要能够一次又一次坚定地推销你的愿景。大多数人不喜欢改变，所以你需要说服他们为什么要接受改变。不要因为畏惧而不去争取自己想得到的东西。
苏世民名人名言哲理格言警句语录 苏世民
气收自觉怒平，神敛自觉言简，容人自觉味和，守静自觉天宁。
陈继儒名人名言哲理格言警句语录 陈继儒
蝶恋花谁道闲情抛却久？每到春来，惆怅还依旧。日日花前常病酒，不辞镜里朱颜瘦。河畔青芜堤上柳，为问新愁，何事年年有？独立小桥风满袖，平林新月人归后。
冯延巳名人名言哲理格言警句语录 冯延巳
团队合作是一群有能力，有信念的人在一起，为了一个共同的目标相互支持，合力奋斗的过程。
李开复名人名言哲理格言警句语录 李开复
他很早就开始相信，科学可以解释事物的原理，所以没必要提出造物主或神灵的概念来干预我们的生活。
沃尔特·艾萨克森名人名言哲理格言警句语录 沃尔特·艾萨克森
三只烧鸡，四只酱猪蹄，还有五个卤好的兔脑袋。
刘震云名人名言哲理格言警句语录 刘震云
这种赠予之爱必将成为攫取一切价值的掠夺者；可是我把这种利己主义称为是健全的和神圣的。
尼采名人名言哲理格言警句语录 尼采
梦后楼台高锁，酒醒帘幕低垂，实不知人间何世。
金庸名人名言哲理格言警句语录 金庸
"Silence can be louder than words—if you know how to listen to it." 《The Crocodiles》
穆罕默德·拉比名人名言哲理格言警句语录 穆罕默德·拉比
哲学是对智慧的永恒追求。
Philosophy is the eternal pursuit of wisdom.
德尼·狄德罗名人名言哲理格言警句语录 德尼·狄德罗
人一旦丧失自我控制的能力，就不再是一个真正意义上的人。
甘地名人名言哲理格言警句语录 甘地
The most important thing in the programming language is the name. A language will not succeed without a good name. I have recently invented a very good name and now I am looking for a suitable language.
编程语言中最重要的就是名字。没有一个好名字，语言就不会成功。我最近发明了一个非常好的名字，现在我正在寻找一种合适的语言。
罗纳德·李维斯特名人名言哲理格言警句语录 罗纳德·李维斯特