MathSoMac: the social machine of mathematics
MathSoMac:数学社交机器
基本信息
- 批准号:EP/K040251/1
- 负责人:
- 金额:$ 147.54万
- 依托单位:
- 依托单位国家:英国
- 项目类别:Fellowship
- 财政年份:2014
- 资助国家:英国
- 起止时间:2014 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Mathematics is a profound intellectual achievement with impact on all aspects of business and society.For centuries, the highest level of mathematics has been seen as an isolated creative activity, to produce a proof for review and acceptance by research peers. Mathematics is now at a remarkable inflexion point, with new technology radically extending the power and limits of individuals. "Crowdsourcing" pulls together diverse experts to solve problems; symbolic computation tackles huge routine calculations; and computers check proofs that are just too long and complicated for any human to comprehend, using programs designed to verify hardware.Yet these techniques are currently used in stand-alone fashion, lacking integration with each other or with human creativity or fallibility.Social machines are new paradigm, identified by Berners-Lee, for viewing a combination of people and computers as a single problem-solving entity. Our long-term vision is to change mathematics, transforming the reach, pace, and impact of mathematics research, through creating a mathematics social machine: a combination of people, computers, and archives to create and apply mathematics.Thus, for example, an industry researcher wanting to design a network with specific properties could quickly access diverse research skills and research; explore hypotheses; discuss possible solutions; obtain surety of correctness to a desired level; and create new mathematics that individual effort might never imagine or verify. Seamlessly integrated "under the hood" might be a mixture of diverse people and machines, formal and informal approaches, old and new mathematics, experiment and proof.The obstacles to realising the vision are that(i) We do not have a high level understanding of the production of mathematics by people and machines, integrating the current diverse research approaches (ii) There is no shared view among the diverse re- search and user communities of what is and might be possible or desirableThe outcome of the fellowship will be a new vision of a mathematics social machine, transforming the reach, pace and impact of mathematics. It will deliver: analysis and experiment to understand current and future production of mathematics as a social machine; designs and prototypes; ownership among academic and industry stakeholders; a roadmap for delivery of the next generation of social machines; and an international team ready to make it a reality.
数学是一项深刻的智力成就,对商业和社会的各个方面都有影响。几个世纪以来,最高水平的数学一直被视为一种孤立的创造性活动,以提供证据供同行审查和接受。随着新技术从根本上扩展了个人的能力和极限,数学现在正处于一个显著的转折点。“众包”将不同的专家聚集在一起解决问题;符号计算处理大量的例行计算;计算机使用专门用于验证硬件的程序,对人类无法理解的太长、太复杂的证据进行验证。然而,这些技术目前以独立的方式使用,缺乏相互整合,也缺乏与人类创造力或错误性的结合。社会机器是由伯纳斯-李提出的一种新范式,它将人与计算机的结合视为一个解决问题的单一实体。我们的长期愿景是通过创建一个数学社会机器来改变数学,改变数学研究的范围、速度和影响:一个人、计算机和档案的组合来创造和应用数学。因此,例如,想要设计具有特定属性的网络的行业研究人员可以快速访问各种研究技能和研究;探索假设;讨论可能的解决方案;获得所需水平的正确性保证;并创造出个人无法想象或验证的新数学。无缝集成的“引擎盖下”可能是不同的人和机器,正式和非正式的方法,旧的和新的数学,实验和证明的混合。实现这一愿景的障碍是:(i)我们对人类和机器产生的数学没有一个高层次的理解,整合了当前不同的研究方法(ii)在不同的研究和用户社区中,对什么是可能的或可能的或理想的没有共同的看法。该奖学金的结果将是一个数学社会机器的新愿景,改变数学的范围、速度和影响。它将提供:分析和实验,以了解作为社会机器的数学的当前和未来的生产;设计和原型;学术和行业利益相关者之间的所有权;提供下一代社交机器的路线图;还有一个国际团队准备让它成为现实。
项目成果
期刊论文数量(6)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Mathematics, Substance and Surmise - Views on the Meaning and Ontology of Mathematics
数学、实体与推测——数学意义与本体论的观点
- DOI:10.1007/978-3-319-21473-3_2
- 发表时间:2015
- 期刊:
- 影响因子:0
- 作者:Martin U
- 通讯作者:Martin U
Opportunities and Challenges in 21st century Experimental Mathematical Computation: ICERM Workshop Report
21世纪实验数学计算的机遇与挑战:ICERM研讨会报告
- DOI:
- 发表时间:2014
- 期刊:
- 影响因子:0
- 作者:David H Bailey
- 通讯作者:David H Bailey
Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
自动演绎 - CADE-25 - 第 25 届国际自动演绎会议,德国柏林,2015 年 8 月 1-7 日,会议记录
- DOI:10.1007/978-3-319-21401-6_2
- 发表时间:2015
- 期刊:
- 影响因子:0
- 作者:Martin U
- 通讯作者:Martin U
Intelligent Computer Mathematics
智能计算机数学
- DOI:10.1007/978-3-540-85110-3_29
- 发表时间:2008
- 期刊:
- 影响因子:0
- 作者:Bundy A
- 通讯作者:Bundy A
Slightly dirty maths: The richly textured mechanisms of impact
有点肮脏的数学:丰富的影响机制
- DOI:10.1093/reseval/rvw024
- 发表时间:2017
- 期刊:
- 影响因子:3.3
- 作者:Meagher L
- 通讯作者:Meagher L
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Ursula Martin其他文献
Unification in Boolean rings
- DOI:
10.1007/bf00297246 - 发表时间:
1988-12-01 - 期刊:
- 影响因子:0.800
- 作者:
Ursula Martin;Tobias Nipkow - 通讯作者:
Tobias Nipkow
Ursula Martin的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Ursula Martin', 18)}}的其他基金
Extension: MathSoMac: the social machine of mathematics
扩展:MathSoMac:数学社交机器
- 批准号:
EP/R03169X/1 - 财政年份:2018
- 资助金额:
$ 147.54万 - 项目类别:
Fellowship
MathSoMac: the social machine of mathematics
MathSoMac:数学社交机器
- 批准号:
EP/K040251/2 - 财政年份:2014
- 资助金额:
$ 147.54万 - 项目类别:
Fellowship
相似国自然基金
小型类人猿合唱节奏的功能假说——宣
示社会关系(Social bond
advertising) ——验证研究
- 批准号:
- 批准年份:2025
- 资助金额:10.0 万元
- 项目类别:省市级项目
Behavioral Insights on Cooperation in Social Dilemmas
- 批准号:
- 批准年份:2024
- 资助金额:万元
- 项目类别:外国优秀青年学者研究基金项目
Navigating Sustainability: Understanding Environm ent,Social and Governanc e Challenges and Solution s for Chinese Enterprises
in Pakistan's CPEC Framew
ork
- 批准号:
- 批准年份:2024
- 资助金额:万元
- 项目类别:外国学者研究基金项目
儿童音乐能力发展对语言与社会认知能力及脑发育的影响
- 批准号:31971003
- 批准年份:2019
- 资助金额:58.0 万元
- 项目类别:面上项目
多语言环境下Social Tagging的内涵机理与应用框架研究-基于比较的视角
- 批准号:71103203
- 批准年份:2011
- 资助金额:21.0 万元
- 项目类别:青年科学基金项目
SNS的企业知识社区中e-learning行为演化分析模型
- 批准号:71071117
- 批准年份:2010
- 资助金额:27.0 万元
- 项目类别:面上项目
蛋鸡啄羽相残行为的研究:基于社会性气味识别的控制对策
- 批准号:30770289
- 批准年份:2007
- 资助金额:8.0 万元
- 项目类别:面上项目
相似海外基金
Climate Change Effects on Pregnancy via a Traditional Food
气候变化通过传统食物对怀孕的影响
- 批准号:
10822202 - 财政年份:2024
- 资助金额:
$ 147.54万 - 项目类别:
Refining oxytocin therapy for pain: context is key
完善催产素治疗疼痛的方法:背景是关键
- 批准号:
10595113 - 财政年份:2023
- 资助金额:
$ 147.54万 - 项目类别:
Machine learning for social coordination of autonomous vehicles with human road users
机器学习用于自动驾驶车辆与人类道路使用者的社会协调
- 批准号:
2887445 - 财政年份:2023
- 资助金额:
$ 147.54万 - 项目类别:
Studentship
Operant conditioning of sensory evoked potentials to reduce phantom limb pain
感觉诱发电位的操作性条件反射可减少幻肢痛
- 批准号:
10703170 - 财政年份:2023
- 资助金额:
$ 147.54万 - 项目类别:
A Mobile Health Application to Detect Absence Seizures using Hyperventilation and Eye-Movement Recordings
一款使用过度换气和眼动记录检测失神癫痫发作的移动健康应用程序
- 批准号:
10696649 - 财政年份:2023
- 资助金额:
$ 147.54万 - 项目类别:
Characterizing the genetic etiology of delayed puberty with integrative genomic techniques
利用综合基因组技术表征青春期延迟的遗传病因
- 批准号:
10663605 - 财政年份:2023
- 资助金额:
$ 147.54万 - 项目类别:
Social and behavioral determinants of MOUD utilization and opioid overdose
MOUD 使用和阿片类药物过量的社会和行为决定因素
- 批准号:
10664099 - 财政年份:2023
- 资助金额:
$ 147.54万 - 项目类别:
Developing Explainable AI for Equitable Risk Stratification of Atrial Fibrillation and Stroke
开发可解释的人工智能以实现心房颤动和中风的公平风险分层
- 批准号:
10752585 - 财政年份:2023
- 资助金额:
$ 147.54万 - 项目类别: