言吾善者，不足为喜；道吾恶者，不足为怒。
释义：别人称赞我，不值得高兴；别人批评我，也不值得生气。
ENIAC是电子计算机发展史上的第一个巨大飞跃。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
In every character, there is a truth waiting to be discovered.
You see, Sir, We all need someone to kiss us goodbye...
The world is so full of simple, obvious, and beautiful things that it's a wonder anyone ever bothers to invent anything at all.
生命是一场漫长的告别。
你输得越多，学到的就越多。
从自然科学之杯的第一口会让你变成无神论者，但在杯底上帝正等着你。
Zombies are conceivable, and that tells us something important about consciousness.