Questions tagged «history»

有关计算机科学作为一门科学的起源和发展及其应用的问题。

5
如何不解决P = NP？
有很多尝试证明或，并且自然地，许多人考虑这个问题，并提出了证明这两个方向的想法。P ≠ N PP = N PP=NP\mathsf{P} = \mathsf{NP} P ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP} 我知道，有些方法已被证明行不通，而且可能还有更多失败的历史。似乎也存在许多无法克服的证明障碍。 我们要避免调查死胡同，那是什么？
7
计算机科学的定义是什么，计算机科学中的科学是什么？
我正在攻读计算机科学学士学位，但是我还处于初期阶段，并且我相信我会为自己的选择感到满意，因为这似乎是一种学术上和职业上灵活的教育。 话虽如此，关于计算机科学在学术界，私营部门和“计算机科学”中实际的“科学”方面的真正定义似乎有各种各样的定义，我想得到答案（或共同思考）关于可以应用计算机科学教育的事物的广度，以及最终计算机科学领域所追求的各种途径。
2
为什么将常规语言称为“常规”？
我刚刚完成了第一章介绍计算理论由迈克尔·西蓬瑟这也解释了有限自动机的基本知识。 他将常规语言定义为可以由有限自动机描述的任何事物。但是我找不到他解释为什么普通语言称为“普通语言”的地方。在这种情况下，“常规”一词的起源是什么？ 注意：我是新手，所以请尝试用简单的术语进行解释！
2
编程语言和数学基础如何关联？
基本上我知道数学的三个基础 集合论 类型理论 范畴论 那么编程语言和数学基础在哪些方面相关？ 编辑 最初的问题是“基于数学基础的语言编程” 与添加的paragarph 理论的实现 1. Coq中的类型论 2. SETL中的 集合论3. Haskell中的范畴论 根据建议，该内容已更改为“编程语言和数学基础如何相关” 由于这是我不知道所要问的问题但想学习一些东西的问题之一，因此，我正在修改问题以使其对学习和其他人更有价值，但又保留了细节以免安德烈·鲍尔（Andrej Bauer）当前的答案似乎不合时宜。 感谢到目前为止的所有评论和答复，我正在向他们学习。
7
为什么我们需要汇编语言？
我们主要用高级语言编写程序。因此，在学习期间，我遇到了汇编语言。因此，汇编器将汇编语言转换为机器语言，而编译器对高级语言也是如此。我发现汇编语言有指令，如move r1 r3，move 5等等。这很难研究。那么为什么要创建汇编语言呢？还是比高级语言更先出现的汇编语言？为什么在我的计算机工程课上学习汇编程序？
4
为什么可计算函数也称为递归函数？
在可计算性理论中，可计算函数也称为递归函数。至少乍一看，它们与您在日常编程中所谓的“递归”（即调用自身的函数）没有任何共同之处。 在可计算性方面，递归的实际含义是什么？为什么将这些函数称为“递归”？ 换句话说：“递归”的两种含义之间有什么联系？
1
最早使用渐近时间复杂度的计算机科学论文是什么？
大O是什么时候首次用于计算机科学的，什么时候成为标准的？维基百科页面引用了SIGACT 1976年4月至6月的Knuth，Big Omicron和Big Omega And Big Theta，但该论文的开头内容如下： 我们大多数人已经习惯了使用符号来表示所有大的幅度上限为常数函数的想法 。Ø （˚F（n ））O(f(n))O(f(n))F（n ）f(n)f(n)ñnn 此引号表示该想法和符号已经很普遍了。 Wikipedia页面还引用了1800年代末和1900年代初的数学论文，但这并不能完全回答问题。尤其是，我听说当时（大约在60年代和70年代，而不是1800年代末）的研究人员说，当首次使用渐近分析时，有人退缩了，说挂钟时间是一个更好的指标。但是，我从未与之交谈过的人引用过像这样的被推回的具体论文，我想找到可以证实或否认这些故事的证据。
1
谁创造了“机器学习”一词？
我试图找出谁创造了“机器学习”一词。一个辅助问题是从1959年引用亚瑟·塞缪尔（Arthur Samuel）在哪里定义“机器学习”的领域为： 使计算机无需明确编程即可学习的研究领域 ？ 在Internet上可以找到很多对此定义的引用，但是我一直无法找到源。有人将其作为他在1959年发表的关于棋子的论文，但我在那里没有找到任何这样的定义。
4
“ Eugene Goostman”真的通过了图灵测试吗？
据说，“ Eugene Goostman”是一种计算机程序，用于模拟一个13岁的男孩，成功说服了33％的法官是人类，并因此通过了图灵测试。 这个计算机程序，又名聊天机器人，假装是一个13岁的乌克兰男孩，而英语是第二语言，这确实是非常不同的。 对我来说，尤金听起来完全像一个平庸的聊天机器人：重复，无意义，而且杂乱无章。我不知道它是如何说服法官的（这似乎不专业）。 很多人都批评尤金，例如史蒂文·哈纳德教授，他说“这是胡说八道”，“我们还没有通过图灵测试。我们甚至还没有接近。” 意见不一，但我真的想知道它是否正式通过了测试？ 也有人说： 从未颁发过的两个一次性奖品。25K是为第一个聊天机器人提供的，该聊天机器人无法将法官与真实的人区分开，并且可以说服法官认为该人是计算机程序。100,000美元是对第一个聊天机器人的奖励，该聊天机器人在图灵测试中（包括解密和理解文本，视觉和听觉输入），无法与真实的人区分开。一旦实现，年度竞赛将结束。 这是否意味着Eugene赢得了$ 25,000？
4
为什么RSA加密在密钥交换中变得很流行？
这是一个软问题。我对密码学或其历史不太了解，但RSA的一种常见用法是通过加密对称密钥以发送更长的消息来进行密钥交换（例如，此处的iMessage描述）。难道这不是Diffie-Hellman密钥交换的功能吗？它更旧（对我而言似乎更简单）是为了？在Wikipedia上，它们也都获得了专利，因此对选择不承担任何责任。 明确地说，我并不是在问公钥加密技术在理论上是否重要。我在问为什么它实际上成为进行密钥交换的标准方法。（对于非密码学家来说，DH看起来更易于实现，并且也与所使用组的细节无关。）
1
谁是Paxos的立法者？
在开创性的分布式系统论文《兼职议会》（Paxos协议）中，Leslie Lamport列举了参与Paxon议会协议的虚构立法者。 根据本文，他指出： 我给希腊立法者提供了在该领域工作的计算机科学家的名字，并在Guibas的帮助下将其译为伪造的希腊方言。 有人知道立法者的名字是关于科学家的吗？论文中的立法者名单和相应的计算机科学家将是理想的选择。 我认为论文中提到的第一位立法者“Λινχ∂”以南希·林奇的名字命名，因为它可以发音为“林奇”。此外，参考书目中的“ΛεωνίδαςΓκίμπας”是Leo Guibas。我完全不知道其他人是谁。
2
为什么图灵完整性是正确的？
我正在使用数字计算机编写此消息。这种机器有一个属性，如果你仔细想想，其实是相当显着的：它是一台机器，如果适当地编程，可进行任何可能的计算。 当然，一种或另一种计算机都可以追溯到上古。人们已经建造了用于执行加法和减法（例如算盘），乘法和除法（例如计算尺）的机器，以及更多领域特定的机器，例如用于行星位置的计算器。 关于计算机的惊人之处在于它可以执行任何计算。完全没有任何计算。所有这些都无需重新连接机器。今天，每个人都认为这个想法是理所当然的，但是如果您停下来考虑一下，那么这样的设备是可能的。 我有两个实际问题： 人类什么时候才知道这样的机器是可能的？是否曾经有过关于是否可以做到的严重怀疑？这是什么时候解决的？（特别是在第一次实际实施之前还是之后解决？） 数学家如何证明图灵完备的机器确实可以计算一切？ 第二个很奇怪。每个形式主义似乎都有一些无法计算的东西。当前，“可计算函数”被定义为 “图灵机可以计算的任何东西”。但是我们怎么知道没有比它稍微强大一点的机器可以计算更多的东西呢？我们怎么知道图灵机是正确的抽象？
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.