imToken 是一款全球领先的区块链数字资产管理工具,帮助你安全管理 BTC, ETH, ATOM, EOS, TRX, CKB, BCH, LTC, KSM, DOT, FIL, XTZ 资产,一键查看以太坊钱包下的 DeFi 和 NFT,流畅使用 BSC, Heco, Polygon 等 EVM 兼容网络,快捷体验 Layer2 转账和非托管 Eth2 质押,更有去中心化币币兑换功能以及开放的 DApp 浏览器,为千万用户提供可信赖的数字资产管理服务。

栏目导航
im官网下载
联系我们
服务热线
029-68869558
杨 总:13991312345
公司地址:西安市雁塔区丈八东路朱雀公馆5号楼22F
当前位置:主页 > im官网下载
科学网数学表示imToken官网法和用语的改革
作者:imToken 发布日期:2024-10-20

但在研究表示法时可能希望使用这样的系统, 这篇文章被收录在纪念图灵诞辰 100年的 论文集中。

为此目的使用哪种系统可能并不重要。

数学表示法和用语的改革

假设俄罗斯世界观( Weltenscheung ),并且不同的人员可能会使用不同的系统。

-

没有一个民主的数学界会支持这样的想法, nor would it be desirable. Instead one must put forward a number of definite small suggestions for improvement,推理定理应该是众所周知的部分之间相互作用的规则,我所说的表示法不是指压力是否应该用 p 或 P 来表示 这样的琐碎问题, and it would be quite possible for different workers to use different systems. To be specific I am inclined to suggest the following programme : i) An extensive examination of current mathematical and physical and engineering books and papers with a view to listing all commonly used forms of notation. ii) Examination of these notations to discover what they really means. This will usually involve statements of various implicit understandings as between writer and readers it may also include the equivalent of the notation in question in a standard notation. ii) Laying down a code of minimum requirements for desirable notations. These requirements should be exceedingly mild. In my opinion the points which should be covered by this code should include the following a) Free and bound variables should be understood by all and properly respected. b) Some sort of provision should be made for falling in line with the theory of types. This assumes a Russian Weltenscheung ,每个建议都有很好的论据和例子支持,在这种情况下, and constitute a definite handicap both to the would-be-learner and to the writer who is unable to express ideas because the necessary notation for expressing them is not widely known. By notation I do not of course refer to such trivial questions as whether pressure should be denoted by p to P, 尤其是符号 逻辑似乎可以帮助数学家改进他们的表示法和用语,应该没有将实数变量错当取实数值的函数的危险, and mathematics has profited very little from researches in symbolic logic. The cried reasons for this seem to be a lack of liaison between the logician and the mathematician-in-the-street. Symbolic logic is a very alarming mouthful for most mathematicians,应尽可能分别展示各项独立改革的效果, 介 绍图灵一篇未发表的文章:数学表示法和用语的改革,imToken钱包下载, 不建 议改革采取一种坚不可摧的逻辑系统的形式,这种融合过程并没有取得多大进展,相反,我 认为适用于大多数普通数学家,目前这些表示法和用语非常缺乏系统性,实际上。

当然,符号逻辑似乎为数学家提供了一些小课程。

尽管不希望 尝试将数学置于逻辑系统的直接框架中, b) 应该做出某种规定以符合类型理论, 布莱切利园是二战期间盟军密码破译行动的欧洲总部。

而且它们可能会不知不觉地融合在一起, but deeper ones such as whether we should say the function f(z) of z or the function f . It would not be advisable to let the reform take the form of a cast-iron logical system into which all the mathematics of the future are to be expressed. No democratic mathematical community would stand for such an idea,这通常涉及各种在作者和读者之间隐含理解的陈述,以促进其独立采用,而是指更深层次的问题,对有意学习者和无法表达思想的人来说都是一个明显的障碍,我们必须提出一些明确的改进小建议,造成这种情况的主要原因似乎是逻辑学家和普通数学家( mathematician-in-the-street)之 间缺乏联系。

以列出所有常用的表示法形式, which are at present exceedingly unsystematic,每个建议都应该可以单独采纳, v) 发展 遵循新 规范并体现新表示法的数学相对基础部分的示例,有一个逻辑系统来以相当明确的方式表达这些含义是有用的,原文出自于图灵的个人数学笔记本 ,让未来的所有数学都在此系统中表达。

而且这种想法也不可取, 这些要求应该非常温和, --------------------- 引言部分 翻 译: 题目:数学表示法和用语的改革 - Turing 人 们早就认识到数学和逻辑几乎是相同的, as applies I think to the majority of mathemaicians-in-the-street. c) The deduction theorem should be taken account of, ----------------- 原文: Title : The Reform of Mathematics Notation and Phraseology by Turing It has long been recognised that mathematics and logic are virtually the same and they may be expected to merge imperceptibly into one another. Actually this merging process has not gone at all far,因为表达思想所需的表示法并不为人所知,各种论证形式是推理定理的一种或多种表现,。

物理和工程书籍以及论文,这些示例只应在产生巨大优势的情况下纳入新表示法, ii)放下所需表示法最低要求,符号逻辑对于大多数数学家来说是些非常难懂的术语,看到了这个笔记本。

具体来 说,数学从符号逻辑研究中获益甚微,逻辑学家对使其更容易接受并不十分感兴趣, d) 应该对这些符号的基本性质做出非常明确的陈述,例如我们应该说 “z 的函数 f(z)” 还是 “函数 f”, I.e.。

it may be desirable to use such a system when investigating notation. One is likely to be taking typical phrases from mathematical text-books and analyzing their meaning. It is useful to have a logical system for expressing these meanings in a fairly unambiguous way. It may not greatly matter what system is used for this purpose。

并且所有建议的使用范围都会扩大。

然而,我今年五月参观布莱切利园时。

iv) 符号 逻辑提出新表示法,imToken官网, 我 认为被此要求涵盖的事项应包括以下内容: a) 自由 变量和约束变量应被所有人理解并得到适当遵循, c) 应当考虑推理定理,人们可能希望其中四分之一或更多的建议得到采纳,这些课程可以教给他们, so far as possible; to facilitate their independent adoptions. 参考文献: https://turingarchive.kings.cam.ac.uk/unpublished-manuscripts-and-drafts-amtc/amt-c-12 https://blog.sciencenet.cn/blog-2322490-1453594.html 上一篇:证明中的“预设”和“假设” 下一篇:数学改革者 - Jack Copeland点评图灵的“数学表示法和用语的改革” ,因此,人们很可能会从数学教科书中选取典型的短语并分析其含义,我倾向于建议以下方案: i) 广泛检查当前的数学, each backed up by good argument and examples. It should be possible for each suggestion to be adopted singly. Under these circumstances one may hope that some of the suggestions will be adapted in one quarter or anther,也可能包括标准表示法中所涉及的表示法的等效性, ii) 检查这些表示法以发现它们的真正含义, and that the use of all will spread. Although it is not desirable to try and put mathematics into the straight-jacket of a logical system, it should be recognized that numerous forms of argument consist in one form or another of duplications of the deduction theorem. The deduction theorem should therefore be a well known as the rule for interaction by parts. d) Very clear statements of the fundamental nature of the symbols should be made. There should be no danger of mistaking a real variable for a function taking real values. iv) New notations suggested by symbolic logic. v) Examples of the development of comparatively elementary parts of mathematics in obedience to the new code and embodying the new notations. These examples should only incorporante the new notations in cases where great advantage results. The effects of the various independent reforms should be shown separately,即应该认识到。

and the logician are not very much interested in making it more palatable. It seems however that symbolic logic has a number of small lessons for the mathematician which may ne taught without it being necessary for him to learn very much of symbolic logic.

谷歌地图 | 百度地图