袁萌专栏

我是书本中的无穷小。我有许多小伙伴。在无穷小微积分网站中收录了数学经典名著《Infinitesimal》、《Model Theory》、《Elementary Calculus》、《Foundations Calculus》、《Nonstandard Analysis》、《NSA_notes》、《Foundations Of Geometry》等，在《鲁宾逊非标准分析》(中译版)，其中第八章拓扑群与群(袁萌翻译)证明了我有同类体存在。我希望全国高校新生...

谁来为数学说话？ 2019年8月29日，国家4部委发布《关于加强数学科学研究工作方案》，强调指出：数学是自然科学的基础，… … “数学是自然科学的基础”？这话怎么说？谁敢这么说？谁来为数学说话？我们的人民政府！袁萌 陈启清 2月5日...

2015年，美这模型论专家William Weiss发表“模型论基础”，指出：近二十年来，模型论发展很快。 该书援引16本模型论专著，内容严谨、全面，具有参阅价值。 注：书的篇幅较长，分为数次发表。请见本文附件文章。袁萌 陈启清 12月28日...

 2001年，美国设立一个称为“州政府首席信息官国家联合会（NASCIO）”的社团组织。NASCIO含义是：NA代表“National Association”（国家联合会）；SCIO代表“State CIO”（州政府CIO）；CIO代表“Chief Information Officers”（首席信息官）。严格讲NASCIO是指“NA of SCIO”，意为“州政府首席信息官的国家联合会”。

 世界“软件自由日（SFD，Software Freedom Day）”源自Ubuntu计划。每年世界“软件自由日”活动的安排和协调，接受在美国注册的“软件自由国际（SFI，Software Freedom International）非盈利组织的领导。“软件自由国际”主席Pia Waugh女士是FOSS（自由/开源软件）著名活动家，是Ubuntu计划发起人之一Jeff Waugh的夫人。

 什么叫社区？社区就是团体的意思，具体表现为某个论坛（Forum）参与者群体。当今，在互联网时代，论坛多半是指“网络论坛”。我们问，Ubuntu社区及其论坛是怎么发展起来的？它有什么特点？根据Ubuntu论坛的统计（Ubuntu Linux Forums），8月20日，该论坛涉及236,650个主题，1,400,948篇文章（多半是帖子）。Ubuntu论坛参与人数为150,703，其中积极

 今年下半年，全球Linux桌面出现新的发展态势，可谓“风起云涌”。为什么这么说呢？7月14～17日，在美国旧金山举行的《LinuxWorld》大会期间，DesktopLinux.com网站著名的专栏作家Steven J. Vaughan-Nichols经过细心观察发现，他所看到的每一个坐着的人几乎都在摆弄自己的“膝上计算机”（Laptop），其中有一半是运行在Linux操作系统上的膝上计

 明天，8月24日，即将召开“开源中国，开源世界”高层论坛。对于世界开源软件的发展前景究竟如何，当然应当有个说法。但是，结论从何而来？依靠调查研究。没有调查，就没有发言权，这是至理名言。今年春天，IDC媒体集团组织10位专门人员对世界开源软件的发展现状进行了一次客观调查，7月份发布了这项调查报告，名为“”全球软件业中的开源软件：市场冲击、破裂和经营模式”（Open Source in Gl

 8月25日，在《开源中国 开源世界》高峰论坛上，宫敏博士指出：“自由软件与开源软件是同样一种东西”；同时，他指出：“如果开源软件这个术语不是指的这种含义，那么，就应该使用别的术语”。当即，在会议上就有人大胆附议。2005年2月，“开源软件”这个术语的创始人Bruce Perens发表著名论文，题为“正在浮现的开源经济模式”（The Emerging Economic Paradigm of

 开源软件到底能不能用？我们应该怎么看开源软件？从一些调查统计数字，也许能够看出一点“门道”（门路之意）。今年8月份，根据Netcraft的最新统计，全球互联网实际运行的Web应用服务器，62.52％是Apache（4,700万台）；30.13％是微软产品。很明显，2/3的Web内容是依靠Apache发布的。8月14日，根据IPED（Institute for Partner Educat

今年，8月14日～17日，在美国旧金山召开《LinuxWorld》大会。这次大会，约有1万余人参会，175个参展厂商，规模与往年差不多。但是，开源软件的领导厂商，美国红帽公司，没有参会。本次大会，“最佳展出奖”获得者是Novell的SLED 10（SuSE Linux Enterprise Desktop 10），从而使Novell公司成为大会的佼佼者。这次大会有什么特点呢？8月18日，

    Linux本质上是一种用于多用户、多任务环境的网络操作系统，原本不是个人PC机的专用操作系统。国际IT产业的客观历史发展进程也充分证明了这一点。Linux专长于企业信息基础结构软件领域，比如：企业文件服务器、打印服务器、数据库服务器以及Web服务器。基于LAMP架构的“曼波应用”，便是一例。    今后，结合我国具体情况，新购置的计算机都预装了正版Windows操作系统，既然已经由广大用户

        预装正版操作系统的PC计算机，虽说已经不是裸机，但是，它的实际用处并不很大。要是把它用得好，还得继续“下功夫”，必须为它购置其他的有关应用（正版）软件，比如，Office软件包等。4月17日，澳大利亚的资深（具有25年从事IT产业，进行写作的经验）记者Stan Beer著文，称：“中国禁止销售裸机，可能打开了通往Linux/开源软件的道路”(Chinese no OS ban(禁令

    什么是“软件鸦片”（Software Opium）？“软件鸦片”指的就是“软件锁定”（Software lock in）。    今年4月20日，澳大利亚资深记者Stan Beer又写文章，要中国当心IT大资本家微软（China beware the big IT capitalist Microsoft）。Stan Beer先生说：“中国，你要记住自己的19世纪历史。对于一个新兴国家而言

一、 世界开源软件迅速发展  （一）2005年，开源软件在全球范围内获得迅速发展。    1、世界开源软件领导厂商红帽公司的订购模式（Subsription），2004年～2005年，连续两年，荣获美国著名《IT洞察力》杂志主办的年度评奖活动的第一名。红帽模式获得世界IT业界的广泛好评和肯定。订购模式是一种软件服务（经由网络发布）的新方式，归于SaaS（Software as a Serv

据网络媒体报道，我国企业大规模正版化软件采购即将全面展开。这是预料中的事情。但是，事情发生的如此迅速，这是我们事先没有想到的。根据国外经验，在大规模企业采购正版化软件的浪潮中，Linux不是没有机会。但是，我国缺少大批“开源服务企业”，更缺少开源应用人才，以致在这次企业正版化软件采购中，商业软件左右逢源，开源软件坐失良机。过去，我们总以为“国产”桂冠能够保护“民族产业”。实际上，一旦正

软件，作为一种智力作品，如何对待它、使用它，是很有讲究的。商业软件是一种为投放市场，进行交易，从而达到赢利目的所设计、开发、生产的软件产品。为了实现这一目的，商业软件必须借助“知识产权保护”的法律，强调“合法使用”软件，反对“非法使用”软件。非法使用软件就是使用盗版软件。盗版就是非法使用。搞商业软件，必须打击盗版。这是毫无疑义的。相对于盗版而言，合法使用的软件就称为“正版”软件。任何出售的PC

Ubuntu Linux ver.6.06 (Beta版)相比Ubuntu 5.10版本改进不少，系统的各个基础部件都做了相应的升级，增加了许多文字的输入法，人机界面更加友好。这是67,000人组成的Ubuntu社区日夜奋战的劳动果实。Ubuntu 6.06确实更加可爱了。Ubuntu计划是建立在一种称之为“Ubuntu哲学”的基础上：软件应当免费获得，自由使用。简单说来，Ubuntu永远

   “优奔途”是一个很怪异的商标名称。今年3月底，国家工商管理局“公司名称登记管理处”正式批复同意成立“北京优奔途科技发展有限公司”。当时，我们问他们，“优奔途”是“Ubuntu”的一种音译名称，作为公司名称行不行？他们答复，“优奔途”是汉字公司名称，与英文Ubuntu无关。对此，我们心中万分庆幸，“优奔途”公司名称就这样准予登记了

怎么看待Linux的应用？具体地说，一个主权国家，究竟应该如何对待Linux这种“外来技术”？是否应当把开源软件（包括Linux）“认定”为本国软件，才可以采购？政府部门该不该带头使用Linux和开源软件，为全社会做出表率？这些问题，我们应该思考清楚。 印度是个很“怪异”的国家，从人的

 4月9日，新浪网发布一则消息“全球网站总数达8065万，Apache市场份额下滑”，“Netcraft表示，作为应用最广泛的互联网服务器软件，Apache 3月份的市场份额出现了下滑。与2月份相比，Apache服务器软件的市场占有率由68.7%下滑至62.7%，减小6个百分点”，“主要原因是域名注册系统GoDaddy中微软软件夺走了部分用户。微软在网络服务器市场的份额增加了近5个百分点，市场

    回顾过去几年，世界开源软件所取得的一切成就，都要归功于Linux 2.6内核的发布（2003年11月）。Linux 2.6的抢占式内核CPU分配机制，使Linux桌面应用提速，使Linux服务器性能提高，为Linux系统的企业应用奠定了坚实基础。    2004年～2005年，国际开源软件领导厂商美国红帽公司的软件订购（Subscription）的经营模式，在相关评奖活动中，连续两

 站在一个局外人的立场上，看看Linux在中国IT市场的实际表现，是相当有意思的一件事情。这里的Linux是指Linux操作系统及相关开源软件。我们假定中国的Linux与国外的Linux是大同小异的“同质代码集”。这里所说的Linux，完全是一个局外人头脑中的那种“东西”，具体地说，在美国也是这个Linux。否则，就没有进行“比较研究”的意义了。你说东，我说西，没有共同语言，很难进行沟通。

     开源软件，不仅仅是指其程序源代码必须开放，而且开源软件必须服从某种“自由使用”的规则，例如，GPL规则。在概念外延和内涵上，开源软件与自由软件相差无几，这是一个基本认识。    2004年这一年，美国企业用在自身信息化上的支出，总共是2340亿美元，其中56％是购置商业软件；37％是用于自己开发软件的费用；7％是支付第三方提供的定制软件费用。2004年，开源软件在美国企业中站稳了脚跟

 这两天，好消息不断。4月6日，信息产业部、国家版权局、商务部联合发布公告，“要求计算机必须预装正版操作系统软件”。具体地说就是：“在我国境内生产的计算机，出厂时应当预装正版操作系统软件；进口计算机在国内销售，销售前应当预装正版操作系统软件；进口计算机需向信息产业部提供与其进口计算机数量相符合的正版操作系统软件的授权文件”。4月6日，据有关报道，联想、方正、同方和TCL将陆续赴美与微软公司签订

     OpenOffice是当今最大的开源开发项目，程序源代码近1000万行。以往，它的主要问题是新版本发布周期太长，长达18个月。自去年11月，OpenOffice 2.0发布之后，它的开发速度明显加快。今年3月，就推出了一个新版本。4月7日，在波斯顿《LinuxWorld》大会上，OpenOffice全职开发人员（Novell雇佣）Michael Meeks宣布：今后，OpenOffi

在商战上，微软有诚实的一面，也有另一面。4月6日，在波斯顿《LinuxWorld》大会上，微软平台技术策略主任Bill Hilf做了主题讲演，这并不奇怪。Bill先生说，“商业软件与开源软件能够共存，而且它是我们产业中的一个不断成熟的过程。”Bill先生讲的这番话，我们爱听。微软设立了一个“开源软件实验室”，有300多台服务器跑着各种Linux版本及相关软件。在实验室大门口，摆放着3只企鹅

 4月4日，波斯顿《LinuxWorld》大会，Week记者说：“从整体上来讲，这次大会不再是年轻开发者的大会，而是中年商务人员的大会。《LinuxWorld》大会不再是程序员的展览，它变成了一种商务展览”。这是什么意思？这次《LinuxWorld》大会没有什么“产品新闻”，只是展示了某些“事实”：第一，KDE与GNOME结束多年隔阂，达成协议，开发通用API接口；第二，MySQL宣布：已

    4月4日，LPI与Canonical公司（Ubuntu的发行商）在美国波斯顿（Boston）联合宣布：共同开发Ubuntu Linux的认证考试。Ubuntu认证考试建立在LPIC-1，LPIC-2基础之上。今年5月16～19日，“Ubuntu认证考试”在南非约翰内斯堡《LinuxWorld》大会上首次与观众见面，6月份将经过网络考试机制在全球推出。Ubuntu认证考试的费用为每次100美

    4月3日，Paul Ryan写的这篇评论文章“结局的开始”（“The Beginning of the End”），让人心情感到沉重。一个伟大的公司，一个人类创造物，一个产业巨人的结局就这么开始了。文章一经在《LinuxToday》刊出，在不到一天时间内，竟有4000多人浏览。    最近，透过互联网，我们听到许多“小道消息”：微软遇到麻烦了。是有人控告它，还是发现产品漏洞？都不是。原因是

    当前，Linux（开源）技术的应用正在平静地向着企业渗透。许多用户在自己的局域网中部署了Linux、Apache、DNS和MySQL，甚至有的企业用起了LAMP架构。但是，这些企业同时也还是微软的“忠实”用户。他们心里觉得用点开源技术并没有什么对不起微软的地方。这种情况让微软感到为难。Linux要是侵犯了微软的专利，微软当然要控告Linux的用户。可是，实际情况往往是，Linux用户也同时

     初创公司，国外叫“Start-ups”，就是从小变大，开始创办的意思。当今，市场环境已经不是“小软件”产业时代了。现在，想靠一个“小软件”，就办公司，那太天真了。由“小软件”变“大公司”，那只是美好的记忆。    在目前互联网带宽收费很低的条件下，“小服务”反倒有可能变为大公司。美国纽约市有一个初创公司，叫做“SiteGround”（“网站基地”），大规模进行“曼波托管”（即承接Ma

    3月31日，在悉尼《LinuxWorld》世界大会上，曼波CMS第三次荣获“最佳开源软件解决方案”奖（Best Open Source Software Solution）。2005年，在波斯顿《LinuxWorld》世界大会上，曼波CMS被评为“最佳整体产业解决方案”（Best Total Industry Solution）。今年是曼波CMS第三次获奖。     这个奖项是在曼波CMS

    4月25～30日，在美丽迷人而又颇具现代化气息的“广州大学城”举办广东省“第一届开源文化节”。4月25日，在隆重的开幕式之后，举办了“开源技术竞赛”，当天，有近千余人参加了“开源文化节”的各项活动，气氛相当热烈。    “开源技术竞赛”是这次“开源文化节”的高潮。“广东Linux中心”为这次竞赛购置了全新的80台Dell品牌计算机。每台计算机预装了红旗、中标软、红帽和SuSE等4种不同

今年，Ubuntu（优奔途）Linux 6.06的机会真的要来了。为什么这么说？4月17日，Adam Doxtater发表文章，评论Ubuntu 6.06，文章长达14页。我立即要求《Ubuntu实验室》下载Ubuntu 6.06，着手研究这个“6.06新版本”。 Ubuntu 6.0

自4月1日至18日，在这18天里，《开源之声》访问人次为2350人次，而实际总体访问人数为1275人，平均每日访问人次为130人。我们发现，在访问过《开源之声》的1275人中间，有1020人只访问过一次，以后就再也不访问《开源之声》了。《开源之声》共有176个开源话题，难道就让这些人一点儿也不发生兴趣？这一事实表明，他们根本并不“在意”开源软件。而其余255人，都是多次访问《开源之声》的，

软件的核心部分是程序源代码，是一种智力作品。软件一经流入社会，被人们以某种方式使用，它就必然处于某种法律状态。软件处于什么状态呢？经过软件作者某种授权的软件称为授权（Authorized）软件；而未经作者授权的软件称为“盗版”（Pirate）。盗版就是未经授权。人们把盗版软件，经过正式授权，变为授权软件的过程称为“正版化”。简单的说，正版是相对于盗版而言的；正版作品就是授权作品。严格地讲，没有

     在软件世界中漫游，往往失去前进方向。在软件世界里，许多事情都可以去做，但必须有个“中心”。那么，在我心中，这个“中心”是什么呢？这些年来，我要干什么事情呢？一言以蔽之，Linux＋Office。但是，这两个东西必须是GNU计划的产物，必须最终体现软件的价值：自由使用。软件的价值，就在于使用。评判是非，必须依据使用价值，而非其他。    商业软件，保护发财。自由软件，保护使用。开源软件

         4月11日下午，我怀着非常郁闷的心情，不由自主地乘车回到中国人民大学的校园，一个人闷闷地在校园里四处寻觅，追忆着20多年前的情景。那棵小树长大了，长粗了；校内新华书店的那扇大门还是那个旧的；自己讲过课的教室仿佛比记忆中的变小了一些。“预装正版”，让我的心情坏到极点。看不见明天，就必然想回到昨天，追忆那逝去的美好时光。预装正版，就是为了消灭盗版。花钱买软件，这当然是对的。预装正

陆主席：       今天下午1点半，我应邀去山东浪潮，讲点Ubuntu，10日上午回京。微软是浪潮的股东，浪潮是微软的伙伴。但是，微软产品预装价格太高，浪潮又想起了Linux。对Linux，浪潮不会当真，只是一个与微软讨价的砝码。我心中明白。                          袁萌          5月8日上午               开放源码与开放文档