微软亚洲研究院机器学习研究员陈薇:用数学逻辑来优化工作和人生
从数学博士到投身计算机科学研究,微软亚洲研究院机器学习组主管研究员陈薇将理性严谨的数学思维融入到了工作与生活的方方面面:...
关注互联网生态圈 分享前沿科学与技术
数学(Mathematics)是利用符号语言研究数量、结构、变化以及空间等概念的一门学科,从某种角度看属于形式科学的一种。数学透过抽象化和逻辑推理的使用,由计数、计算、量度和对物体形状及运动的观察而产生。数学家们拓展这些概念,为了公式化新的猜想以及从选定的公理及定义中建立起严谨推导出的定理。
基础数学的知识与运用总是个人与团体生活中不可或缺的一环。对数学基本概念的完善,早在古埃及、美索不达米亚及古印度内的古代数学文本便可观见,而在古希腊那里有更为严谨的处理。从那时开始,数学的发展便持续不断地小幅进展,至16世纪的文艺复兴时期,因为新的科学发现和数学革新两者的交互,致使数学的加速发展,直至今日。[6]数学并成为许多国家及地区的教育范畴中的一部分。
今日,数学使用在不同的领域中,包括科学、工程、医学和经济学等。数学对这些领域的应用通常被称为应用数学,有时亦会激起新的数学发现,并导致全新学科的发展,例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。数学家也研究纯数学,就是数学本身的实质性内容,而不以任何实际应用为目标。虽然许多研究以纯数学开始,但其过程中也发现许多应用之处。
从数学博士到投身计算机科学研究,微软亚洲研究院机器学习组主管研究员陈薇将理性严谨的数学思维融入到了工作与生活的方方面面:...
丘成桐教授是当代最著名的数学家之一,他在中国计算机大会的特邀报告讲的是几何学对计算机科学(包括人工智能)的贡献,计算机领...
1月15日,首届未来科学大奖颁奖典礼在北京隆重举行,在数十名全球顶尖华人科学家、诺奖得主以及众多优秀企业家见证下,香港中...
近日,丘成桐先生和杨振宁先生就“中国要不要造巨型对撞机”相继发声论战,成为舆论热点。超大对撞机的科学意义究竟有多大?哈佛...
2016年4月,著名投资人尤里·米尔纳在自己家中举行了一场小规模的晚宴,到场嘉宾包括Google CEO皮查伊、Goog...
尽管迈克尔·阿蒂亚(Michael Francis Atiyah)有诸多荣誉加身——菲尔茨奖和阿贝尔奖双料得主、伦敦皇家...
数学方程不仅实用,很多还非常具有美感。很多科学家承认,他们通常不仅会因为其作用而尤为偏爱某些特定方程式,也会因为它们的形...
想象一个含有250亿份文件,却没有集中管理机构和馆员的图书馆,而且任何人都可以在任何时间添加新的文件而不需要通知其他人。...
2014年4月16日在北邮计算机学院第十八届科技节之科技大讲堂讲座 乔建永 校长 各位老师,同学们,晚上好! 今天非常高...
提到数学这个学科,很多人会觉得很抽象,难以理解。我常会遭遇这样的情形,当别人问起我是做什么的,我说是做数学的,他们就会一...