推荐/验证 arXiv.org 的论文 我首次贴，听说 需要相关专家验证（推荐） 才能贴出。 请您帮助！ 感谢您的验证！ submit/0806692 New A Filter Interpretation to Lorentz Contraction In the Theory of Special Relativity submitted update icon delete icon unsubmit icon submit/0806699 New Full Proof: a New Criterion for Future Mathematical Proof submitted update icon delete icon unsubmit icon 下面是截图。我接下来该做什么？ 感谢您的指教！
实例一： The proof has been checked carefully and no further changes to it.Thanks for your great help and now we send back the proof to you. 实例二（更具体）： proof的修改问题(ZHUAN) 当通讯作者收到文章的proof（校样）后，可以修改作者信息、联系方式、增添作者、调换作者顺序、添加基金等，如果删除作者、调换作者，尤其是第一作者和通讯作者时，大多期刊编辑会要求提供变更说明并签字的证明。这里不详述了。随proof附件的，大多期刊还有query和annotate文件（有的期刊没有annotate文件） Proof还有内容的修改，包括期刊编辑校对时给你的pdf标注，有的期刊没有pdf标注，直接将排版好的proof发给你校对。不管怎样，作者可以在编辑发给你的proof中直接进行修改错误的内容，一定要注意按照proof修改的要求进行删除、增添、批注等操作。没有annotate文件的，就按照pdf工具栏里的各个图标所表示的意思或功能进行操作，在proof中，为了区别排版编辑对你稿件的修改，作者修改proof时除了删除、增添、批注等操作外，还可以对这些删除、增添、批注等进行黄色加亮显示。修改好后，在文档文件名后加上_corrected字样，然后将附件回复到编辑邮箱，记得要提醒编辑收到后给你回信。 Query文档里，response的内容可以在下方填上（针对query，一条条列出修改页数和行数、修改内容和备注说明）；如果已经在proof中修改了（修改信息对Query进行了回答），可以在response里指出修改页和行数、备注说明。Query文档写好后打印传真给指定的传真号。同样，记得提醒编辑给你回信。 本帖附件1：INSTRUCTIONS ON THE ANNOTATION OF PDF FILES （如何对pdf文档进行批注、修改等说明） 本帖附件2：AUTHOR QUERY FORM 本帖附件3：MAMT_1528_corrected （黄色加亮部分是作者的修改，其它地方是排版编辑的修改。）本文已经正式出版。 方东明 北京大学微电子学研究院 附上proof时的往返email信件 Dear Sir/Madam, The attached document is the corrected proof. All corrections are highlighted in yellow. Please give me a reply when you receive the attachment. Thank you very much. Best Regards, Dongming Fang 2009-01-12
The Burden of Proof 记得曾经看过一个法律相关的系列电视节目，题目好像就是The Burden of Proof。我理解，其基本的意思是谁起诉，谁就得举证。好像还有一层意思，在美国证明谁有罪太难了。就像审判911之前抓起来的一个为恐怖分子安排飞行学校和负责财务的人，指控的三项罪名，只要一条罪名成立，就可以判死刑。法庭举证顺利，陪审团由12个陪审员组成，讨论时就像一个人在说话似的意见一致，偏就投票时，两项指控11票，一项10票，都不够100%。结果就是判不了死刑。 立体的人生，大度的宽容 我们生活在三维空间里，人也是立体的。看待任何事、任何人也都应该从多维多角度来看，而不应该只揪住一件事、或一个指标，再用一维的评判代表全部。要想全面地理解一件事或一个人，需要大度的宽容，需要换位思考的沉静。
据说，数学家的主要任务是“证明定理”，而不是创立新的数学理论。如果熟悉《集合论》、《范畴论》、《泛代数》等数学基础，创造一个新的数学理论，一般不是很困难的。据说一个重点大学毕业的数学专业的本科生，就可以像模像样地创造一个新的理论。 那么，什么是证明？ 美苏两个超级大国的数学家们的定义： Encyclopaedia of Mathematics (Edited by Michiel Hazewinkel, CWI, Amsterdam, http://www.encyclopediaofmath.org/index.php/Main_Page ): The Online Encyclopaedia of Mathematics is the most up-to-date and comprehensive English-language graduate-level reference work in the field of mathematics today. http://eom.springer.de/P/p075420.htm http://www.encyclopediaofmath.org/index.php/Proof Proof A reasoning conducted according to certain rules in order to demonstrate some proposition (statement, theorem); it is based on initial statements (axioms). In practice, however, it may also be based on previously demonstrated propositions. Any proof is relative, since it is based on certain unprovable assumptions. Rules of conducting a reasoning and methods of proof form a main topic in logic. See Proof theory. A.S. Kuzichev 大英百科全书 Encyclopdia Britannica http://search.eb.com/eb/article-9061543 proof in logic, an argument that establishes the validity of a proposition. Although proofs may be based on inductive logic, in general the term proof connotes a rigorous deduction. In formal axiomatic systems of logic and mathematics, a proof is a finite sequence of well-formed formulas (generated in accordance with accepted formation rules) in which: (1) each formula is either an axiom or is derived from some previous formula or formulas by a valid inference; and (2) the last formula is that which is to be proved. For proof by cases, see dilemma. 我英文太差，不敢翻译。 ------------------------------------------------------------- 《中国大百科全书》、《 Encyclopaedia of Mathematics 》的介绍和书籍： 集合论 jihelun ( 卷名：数学 ) set theory ，见： http://202.112.118.40:918/web/index.htm Set theory , nave ，见： http://eom.springer.de/S/s084750.htm ， http://www.encyclopediaofmath.org/index.php/Set_theory K. Kuratowski, A. Mostowski. Set theory. North-Holland, 1968. N. Bourbaki. Elements of mathematics. Theory of sets. Addison-Wesley, 1968. (Translated from French). 范畴 fanchou ( 卷名：数学 ) category ， 见： http://202.112.118.40:918/web/index.htm Category ，见： http://eom.springer.de/C/c020740.htm ， http://www.encyclopediaofmath.org/index.php/Category B.Mitchell. Theory of categories. Academic Press, New York, 1965. G.M. Kelly. Basic concepts of enriched category theory. Cambridge Univ. Press, 1982. 泛代数 fandaishu ( 卷名：数学 ) universal algebra ，见： http://202.112.118.40:918/web/index.htm Universal algebra ，见： http://eom.springer.de/U/u095630.htm ， http://www.encyclopediaofmath.org/index.php/Universal_algebra G. Grtzer. Universal algebra. Springer, 1979. P.M. Cohn. Universal algebra. Reidel, 1981. 真傻相关的博文： （ 1 ）逻辑方法的局限性：元知识、乌龟塔与盲人摸象 http://www.sciencenet.cn/m/user_content.aspx?id=301534 （ 2 ）逻辑方法的局限性： Godel incompleteness theorem 和 Chaitin theorem http://www.sciencenet.cn/m/user_content.aspx?id=301287 （ 3 ）爱因斯坦与教育 http://www.sciencenet.cn/m/user_content.aspx?id=288903 （ 4 ）什么是“证明” The definition of Proof http://www.sciencenet.cn/m/user_content.aspx?id=221874 （ 5 ）怎么翻译爱因斯坦谈科学起源 http://www.sciencenet.cn/m/user_content.aspx?id=216696
标签: Proof
