「The meaning of the world is the separation of wish and fact.」- 库尔特·哥德尔经典语录

The meaning of the world is the separation of wish and fact.

库尔特·哥德尔

💡 解读：世界的意义在于愿望与事实的分离。

👤 更多库尔特·哥德尔经典语录 6句

The more I think about language, the more it amazes me that people ever understand each other at all.

库尔特·哥德尔

Either mathematics is too big for the human mind or the human mind is more than a machine.

库尔特·哥德尔

A philosophical error is much more serious than a mathematical one.

库尔特·哥德尔

Time is the means by which we prevent everything from happening at once.

库尔特·哥德尔

Time is the only dimension in which we can perceive change.

库尔特·哥德尔

The world is rational.

库尔特·哥德尔

李娟

悲伤就是知识

拜伦

但愿同入梦。

琼瑶

表面看起来糟糕的事，本质上却往往并非如此。

塞涅卡

我绝不坚信这个时代没有放之四海而皆准的正义和良善的价值观，它们不仅仅有，而且不是朝令夕改流动无常的，它们是稳定而永恒的。

亚历山大·索尔仁尼琴

奇花与丽日争妍，翠竹共青天斗碧。

吴承恩

我们根本没想到要怀疑或轻视“历史的启示”；历史就是我们的一切。

恩格斯

大家礼义教子弟，小家凶恶训儿郎。

周希陶

人人为我，我为人人。

列宁

真理就是自由人的祖国。真理不存在于丑化了的现实里。生命的第一个行动就是创造的行动。在争论中是不分高贵卑鄙，也不管称号姓氏的，重要的只是真理，在它面前人人平等。

罗曼·罗兰

40句相邻名言

Music is the pleasure the human soul experiences from counting without being aware that it is counting.

戈特弗里德·威廉·莱布尼茨

现代逻辑学奠基人

There is nothing waste, nothing sterile, nothing dead in the universe; no chaos, no confusions, save in appearance.

戈特弗里德·威廉·莱布尼茨

现代逻辑学奠基人

The general laws of Nature are not, for the most part, immediate objects of perception.

乔治·布尔

创立布尔代数，奠定计算机科学基础

Probability is expectation founded upon partial knowledge.

乔治·布尔

创立布尔代数，奠定计算机科学基础

The validity of the laws of thought is not affected by the nature of the objects to which they are applied.

乔治·布尔

创立布尔代数，奠定计算机科学基础

The interpretation of the symbols is the foundation of all reasoning.

乔治·布尔

创立布尔代数，奠定计算机科学基础

The laws of thought are the foundation of all exact reasoning.

乔治·布尔

创立布尔代数，奠定计算机科学基础

The validity of the laws of thought does not depend upon the nature of the objects to which they are applied.

乔治·布尔

创立布尔代数，奠定计算机科学基础

The meaning of a word is its use in the language.

戈特洛布·弗雷格

提出谓词逻辑，影响现代逻辑学

A fact is a thought that is true.

戈特洛布·弗雷格

提出谓词逻辑，影响现代逻辑学

The laws of logic are the laws of truth.

戈特洛布·弗雷格

提出谓词逻辑，影响现代逻辑学

Every good mathematician is at least half a philosopher, and every good philosopher is at least half a mathematician.

戈特洛布·弗雷格

提出谓词逻辑，影响现代逻辑学

The thought is the sense of the sentence.

戈特洛布·弗雷格

提出谓词逻辑，影响现代逻辑学

Logic is the science of the most general laws of truth.

戈特洛布·弗雷格

提出谓词逻辑，影响现代逻辑学

The laws of logic are not psychological laws, but laws of the laws of thought.

戈特洛布·弗雷格

提出谓词逻辑，影响现代逻辑学

The laws of logic are not psychological laws, but laws of truth.

戈特洛布·弗雷格

提出谓词逻辑，影响现代逻辑学

The world is rational.

库尔特·哥德尔

提出不完备定理，奠定数理逻辑基础

Either mathematics is too big for the human mind or the human mind is more than a machine.

库尔特·哥德尔

提出不完备定理，奠定数理逻辑基础

The more I think about language, the more it amazes me that people ever understand each other at all.

库尔特·哥德尔

提出不完备定理，奠定数理逻辑基础

Time is the only dimension in which we can perceive change.

库尔特·哥德尔

提出不完备定理，奠定数理逻辑基础

Time is the means by which we prevent everything from happening at once.

库尔特·哥德尔

提出不完备定理，奠定数理逻辑基础

A philosophical error is much more serious than a mathematical one.

库尔特·哥德尔

提出不完备定理，奠定数理逻辑基础

The good life is one inspired by love and guided by knowledge.

伯特兰·罗素

分析哲学创始人，逻辑学巨匠

To be without some of the things you want is an indispensable part of happiness.

伯特兰·罗素

分析哲学创始人，逻辑学巨匠

The whole problem with the world is that fools and fanatics are always so certain of themselves, and wiser people so full of doubts.

伯特兰·罗素

分析哲学创始人，逻辑学巨匠

The time you enjoy wasting is not wasted time.

伯特兰·罗素

分析哲学创始人，逻辑学巨匠

Fear is the main source of superstition, and one of the main sources of cruelty. To conquer fear is the beginning of wisdom.

伯特兰·罗素

分析哲学创始人，逻辑学巨匠

The fundamental cause of the trouble is that in the modern world the stupid are cocksure while the intelligent are full of doubt.

伯特兰·罗素

分析哲学创始人，逻辑学巨匠

A priori truths are not necessarily truths known independently of experience.

索尔·克里普克

现代模态逻辑创始人之一

The concept of identity is not a concept that we learn from experience.

索尔·克里普克

现代模态逻辑创始人之一

Possible worlds are stipulated, not discovered by powerful telescopes.

索尔·克里普克

现代模态逻辑创始人之一

The meaning of a name is its bearer.

索尔·克里普克

现代模态逻辑创始人之一

There is no special problem about proper names in fiction.

索尔·克里普克

现代模态逻辑创始人之一

The distinction between the a priori and the a posteriori is epistemic, not metaphysical.

索尔·克里普克

现代模态逻辑创始人之一

Logic is the foundation of philosophy, and philosophy is the foundation of science.

扬·武卡谢维奇

创立波兰逻辑学派，贡献命题逻辑与模态逻辑

The principle of contradiction is not a law of thought but a law of being.

扬·武卡谢维奇

创立波兰逻辑学派，贡献命题逻辑与模态逻辑

In logic, as in life, it is essential to distinguish between what is possible and what is necessary.

扬·武卡谢维奇

创立波兰逻辑学派，贡献命题逻辑与模态逻辑

The history of logic is the history of the liberation of thought from the constraints of language.

扬·武卡谢维奇

创立波兰逻辑学派，贡献命题逻辑与模态逻辑

A true proposition is one that corresponds to reality, not merely to our beliefs about reality.

扬·武卡谢维奇

创立波兰逻辑学派，贡献命题逻辑与模态逻辑

Logic is the foundation of all sciences, and the art of reasoning is the most valuable of all arts.

扬·武卡谢维奇

创立波兰逻辑学派，贡献命题逻辑与模态逻辑

🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行