勃勃OC
0 关注者
中国网-科普中国微信公众号
1个月前
“冷不丁梆梆就两拳”,为什么非得“冷不丁”,不能“热不丁”?
Sophy Zhang
1931年奥地利逻辑学家哥德尔提出并证明「哥德尔不完备定理」(Gödel's incompleteness theorems),阻止了数学的神性妄想; 1933年波兰逻辑学家塔尔斯基提出「真理理论」(Truth Theory),并在《演绎科学语言中的真理概念》中提出解决悖论的“对象语言”“元语言”“元元语言”分层理论,治愈了语言的精神分裂。
高伐林
各国语言占全球网站份额: 1、英语58.8% 2、俄语,5.3% 3、西班牙语,4.3% 4、法语,3.7% 5、德语,3.7% 6、日语,3% 7、土耳其语,2.8% 8、波斯语,2.3% 9、汉语,1.7% 10、意大利语,1.6% 11、葡萄牙语,1.5% 12、越南语,1.4% 互联网之墙隔离中外,浩瀚的汉语文献无法与世界分享!
Robinson · 鲁棒逊
一个翻译灾难 robust → 鲁棒性 我第一次看到 鲁棒性 时,整个人是懵的,心想,这是啥玩意,后面看了robust 的含义解释后,更加蒙圈 “robust:在干扰、变化或非理想条件下依然保持稳定可靠的能力。” 鲁棒 二字和上面的描述,真是一毛钱关系都没有。 后来检索了下才知道,这是纯音译的历史遗留问题,早期控制论、自动化文献大量从日文翻译,日本学者先音译,中文学者照搬了日语,日语:
佛瑞德里希4th😷
我们今天享用的一切科技成果,引导人类进入繁荣模式的充裕财富,来自哪里? 来自前人的思考,来自整个人类社会迄今持续不断的,对“何为最佳生存策略”这永恒命题的集体运算,来自智慧物种不断提升的社会总算力。 而繁荣模式欲维持自身,必须不断兑现繁荣预期,不断提高明天的自己还上今天贷款的能力, 也就是提高算力。 人类已经踏上了这条赛道,依靠算力增强生存与发展能力的赛道,而且人类正在催迫着自己一路向前。 人类必