不确定性的困惑与NP理论分享 http://blog.sciencenet.cn/u/liuyu2205 平常心是道

博文

简介讨论数学基础的论坛FOM

已有 978 次阅读 2023-10-8 22:33 |个人分类:解读哥德尔不完全性定理|系统分类:科研笔记

FOM 是一个讨论数学基础的自动电子邮件列表(论坛)。它是一个封闭的、有版主管理的列表。这意味着所有订阅和发帖都必须经过版主的批准。对帖子的批准并不意味着同意帖子中表达的观点。


FOM 订阅者通常接受过数学、哲学、计算机科学或相关领域的高级培训,并在其中一个方向从事专业活动或正在准备从事此类职业。


FOM 列表旨在提供一个场所,讨论推动当代数学基础研究的具有挑衅性、有时甚至是争议性的观点,而这些观点通常不会出现在期刊论文中。FOM 发表的文章必须与数学基础的问题和项目高度相关。它们应反映出较高的智力和学术标准。然而,FOM 并不是向期刊投稿的场所。一般来说,FOM不欢迎详细的证明和技术细节。当然,FOM也欢迎您提供指向印刷版或网络版更详尽论述的链接。发表的文章应该有思想、有理有据、生动活泼。尽管我们期待并希望有争议,但不允许个人谩骂和其他不相关的讨论。对以前文章的引用应仅限于理解所绝对需要的内容,尤其应避免引文中的引文。所有帖子的全文均可在存档中查阅。


FOM 贴子必须是单行距的纯文本,并在邮件标题中注明内容翔实的主题,应避免长篇引用其他 FOM 帖子的内容。

The FOM Editorial Board currently consists of: 

FOM 编辑委员会目前由以下成员组成:
Stephen Simpson
Harvey Friedman
Andreas Blass
John Baldwin
Alasdair Urquhart
Sam Buss (以前的版主是Martin DavisMartin Davis今年去世,Sam Bus接替成为现在的版主)


参考文献:

https://cs.nyu.edu/mailman/listinfo/fom





https://blog.sciencenet.cn/blog-2322490-1405202.html

上一篇:简介马丁-洛夫(Martin-Löf)
下一篇:布尔可满足性: 理论与工程
收藏 IP: 77.201.68.*| 热度|

1 杨正瓴

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...
扫一扫,分享此博文

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-5-3 11:34

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部