在计算机科学的逻辑 LICS
计算机科学中的逻辑学 Logic in Computer Science
科学研究的逻辑 the logic of scientific research ; Marxist epistemology
17世纪时,文艺复兴的思想已经传遍整个欧洲大地,在那些具有逻辑情怀的人士中间,艺术和科学蓬勃发展。
Renaissance ideas had spread throughout Europe well into the 17th century, with the arts and sciences flourishing extraordinarily among those with a more logical disposition.
现在我们已经知道科学无法尽善尽美,我们无需(像波兰尼那样)那么艰难的斗争以保留逻辑和数学无力施为的概念空间。
Now we know science is not perfectible we do not have to fight so hard to retain a conceptual space for that which cannot be done by logic and mathematics.
海森堡的解释让波普尔很不满,直到阿尔伯特·爱因斯坦介入,才把波普尔对物理学的关注转移回他的长项科学逻辑上去。
Heisenberg's explanation left Popper unsatisfied until Albert Einstein intervened to steer Popper away from physics and back to his strong suit, scientific logic.
应用推荐