intuitionism oor Sjinees
intuitionism
en
An approach to mathematics/logic which avoids proof by contradiction, and which requires that, in order to prove that something exists, one must construct it. Intuitionism is underpinned by intuitionistic logic.
Vertalings in die woordeboek Engels - Sjinees
数学直觉主义
直观论
直觉说
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
The physical keyboard is the same as the virtual keyboard displayed on the smart TV, so the counterpart of each physical key of the physical keyboard can be found on the virtual keyboard, and when a physical key of the physical keyboard is selected or triggered, an input procedure may be seen very intuitionally on the smart TV, thereby improving the input speed, and enhancing the use experience.
在?? 个 星期 之? 内 不?? 将 水 及 食物 塞入 我 口中patents-wipo patents-wipo
Descartes’ Intuitionism taught that one can only acquire theoretical knowledge by means of intuition connecting self-evident truths and that, if a person had an unclouded and attentive mind, he would get a feeling of confused conception if what he was considering was untrue.
沒什麼, 他們 現在 都 是 演員 了jw2019 jw2019
As such, intuitionism is a variety of mathematical constructivism; but it is not the only kind.
真是? 个 机? 灵 鬼 , 是? 吗 ,? 奥 利 弗 ?LASER-wikipedia2 LASER-wikipedia2
Hume's sentimentalism is akin to the moral epistemology of intuitionism (although, of course, different in many respects).
伙? 计 ,? 这 家伙 是 印第安?? 来 的 他? 们 那 里 只? 庆 祝 家庭? 节 日WikiMatrix WikiMatrix
In this way, a user can intuitionally and rapidly know current weather information without the need of specifically checking text information.
我 知道 , 我 听 到了 , 但是 我patents-wipo patents-wipo
Intuitionism maintains that the foundations of mathematics lie in the individual mathematician's intuition, thereby making mathematics into an intrinsically subjective activity.
不想 答 就 不用 答 , 跟 我?? 说 那 台 机 器 吧LASER-wikipedia2 LASER-wikipedia2
In 1934 Heyting published Intuitionism and Proof Theory :
你 不要 以?? 会 有 什? 麽 仙子 在 我? 钱 包?? 两 下,? 钱 就? 会 一直?? 来你 在 抱怨 什???ParaCrawl Corpus ParaCrawl Corpus
What was specific to intuitionism, however, was the thesis that mathematics is an activity, a process of becoming, the exhaustive description of which is impossible, just as it is impossible to define once and for all its elementary concepts.
把 那個 混蛋 趕出 去- 滾開ParaCrawl Corpus ParaCrawl Corpus
After a summary of the earlier developments (up to the Zermelo system ), the Frege - Russell thesis, intuitionism, and formalism are more fully explained.
但 忽然???? 没 有 任何 警告...就 打 你ParaCrawl Corpus ParaCrawl Corpus
Even though his most important research contributions were in topology, Brouwer never gave courses on topology, but always on -- and only on -- the foundations of intuitionism.
我 要 再看 看 , 后面? 还 有些 附? 录ParaCrawl Corpus ParaCrawl Corpus
Freudenthal studied the relation between axiomatic mathematics and reality, and this study led him to contribute to intuitionism , as well as to the application of mathematics to linguistics.
? 这 就是 你 要 离? 开 的 原因 么 ?ParaCrawl Corpus ParaCrawl Corpus
Another major treatise which has presented intuitionism to both mathematicians and logicians was Intuitionism: an Introduction (1956, second edition 1966).
而 能夠 採摘 到 它的 人 也 會 因此 而 永生但是 卻 沒有 人 敢 靠近 它 因為 玫瑰 的 刺 枝 帶有 劇毒ParaCrawl Corpus ParaCrawl Corpus
However, a good deal of Brouwer 's intuitionism is rejected, notably his notions of free choice sequences, spreads and the bar theorem.
我們 的 領袖 們 在 竭力 地 給 邱吉爾 起 新 綽號ParaCrawl Corpus ParaCrawl Corpus
Despite the substantial contributions he had made to topology by this time, Brouwer chose to give his inaugural professorial lecture on intuitionism and formalism.
死 是 机? 动 步兵? 团 唯一 的? 归 宿ParaCrawl Corpus ParaCrawl Corpus
Van der Waerden , in the above quote, said that Brouwer would not lecture on his own topological results since they did not fit with mathematical intuitionism.
是 。 OK 。 但? 现 在 不 一? 样 了 。ParaCrawl Corpus ParaCrawl Corpus
He attempted to answer these questions by giving examples such as intuitionism and symbolism.
你 把 它 放 回 市 场 会赔一点钱 那又怎样??? 一?? 那 又 怎??ParaCrawl Corpus ParaCrawl Corpus
There he represented intuitionism while Carnap and von Neumann represented logicism and formalism respectively.
然后 我? 们 拼 在一起 就 可以 把 它?? 绿 眼 人 了ParaCrawl Corpus ParaCrawl Corpus
It seemed that he was no longer convinced of his results in topology because they were not correct from the point of view of intuitionism, and he judged everything he had done before, his greatest output, false according to his philosophy.
把 葡萄糖 增加 到 每 分?#.. # 毫克ParaCrawl Corpus ParaCrawl Corpus
... revealed the twin interests in mathematics that dominated his entire career; his fundamental concern with critically assessing the foundations of mathematics, which led to his creation of intuitionism , and his deep interest in geometry, which led to his seminal work in topology ...
偷 她?? 裤 上 网 拍? 卖 或 公? 开 淫 照ParaCrawl Corpus ParaCrawl Corpus
Constructivism is often identified with intuitionism, although intuitionism is only one constructivist program. Intuitionism maintains that the foundations of mathematics lie in the individual mathematician's intuition, thereby making mathematics into an intrinsically subjective activity.[2] Other forms of constructivism are not based on this viewpoint of intuition, and are compatible with an objective viewpoint on mathematics.
? 让 我 看看 你的? 脸 。 那 是 什 么 ?ParaCrawl Corpus ParaCrawl Corpus
20 sinne gevind in 6 ms. Hulle kom uit baie bronne en word nie nagegaan nie.