alexwei
- 浏览: 40514 次
- 性别:
- 来自: 北京
-
最新评论
-
alexwei：
太大了, 35m
下到了奇书：Godel，Escher，Bach：An Eternal Golden Braid -
blueice：
发我邮箱吧
yutao0914@163.com
不胜感激！！
下到了奇书：Godel，Escher，Bach：An Eternal Golden Braid -
blueice：
晕
给个下载地址先
谢谢！！
下到了奇书：Godel，Escher，Bach：An Eternal Golden Braid
下到了奇书：Godel，Escher，Bach：An Eternal Golden Braid
相关推荐
《哥德尔、艾舍尔、巴赫——集异璧之大成》是由美国数学家 Douglas Hofstadter 所著的一部跨学科的经典著作，书名中的 "Eternal Golden Braid" 是对无穷自指和数学逻辑深刻理解的形象化表达。本书深入浅出地探讨了...
它巧妙地将数学家库尔特·哥德尔（Kurt Gödel）、艺术家毛里茨·科内利斯·艾舍尔（Maurits Cornelis Escher）以及作曲家约翰·塞巴斯蒂安·巴赫（Johann Sebastian Bach）的创作联系起来，探讨了自我指涉、递归性...
### Godel Escher Bach: 集异璧之大成 #### 书籍概述与核心概念 《Godel Escher Bach: 集异璧之大成》是一部深度探索数学、艺术与逻辑之间联系的经典科普著作。作者通过独特的视角将三位大师——哥德尔(Gödel)、...
哥德尔·艾舍尔·巴赫：集异璧之大成
递归过渡网络，来自Godel，Escher，Bach等人的书 该程序实现了并使用它来生成给定结构的随机英语短语。 我已经在该程序中实现了以下两个RTN： 摘自道格拉斯·霍夫施塔特（Douglas Hofstadter）的戈德尔（Escher）...
godel-conjure-plugin godel-conjure-plugin是的插件。 该插件根据项目配置运行。 它还作为--verify任务的一部分运行，并验证运行该任务不会更改输出目录的内容。 任务 conjure ：运行Conjure生成。 按顺序运行配置...
godel-refreshables-plugin 一个godel插件，用于为任意类型生成强类型的包装器。 对于每种目标类型及其构造所需的类型，插件将生成一个接口定义（和实现），该接口定义从refreshable.Refreshable接口提供Current ， ...
《哥德尔、埃舍尔、巴赫：集异璧之大成》（Godel, Escher, Bach: An Eternal Golden Braid） 作者：Douglas R. Hofstadter 本书是一本跨学科的作品，结合了数学、艺术和音乐等多个领域的知识。作者通过这三个看似...
Heijenoort编辑的逻辑论文集，从Frege到Godel的原始论文集，djvu格式
### 关于哥德尔不完备性定理的知识点 #### 哥德尔不完备性定理简介 哥德尔不完备性定理是逻辑学与数学基础领域的一个里程碑式的成果，由奥地利逻辑学家库尔特·哥德尔在1931年提出。这个定理对数学的基础理论产生...
《The Godel Programming Language》是一本由Patricia Hill和John Lloyd撰写，于1994年由MIT出版社出版的书籍。书中深入探讨了逻辑编程语言Godel的特点、语法、语义和应用实例等。 逻辑编程（Logic Programming）是...
《Godel：数据处理的新视角》 在信息技术领域，数据处理是不可或缺的一部分，而Godel则为我们提供了一种全新的处理数据的方法。Godel方案旨在帮助用户更有效地收集、处理、呈现以及连接信息，使得信息的价值得以...
godel-mod-plugin godel-mod-plugin是一个插件，可帮助标准化和验证项目的Go模块状态。 任务运行得go mod tidy以标准化项目的所有模块依存关系。 如果GOFLAGS环境变量包含值-mod=vendor ，则此任务将在运行go mod ...
超文本格式中，定义用蓝色斜体表示，并通过红色超链接链接到首次定义的位置，便于读者回溯查阅。此外，每个定义术语还出现在文档末尾的索引中，方便快速定位。页面编号出现在文档边缘，以便对照原始文档的页码。还有...
哥德尔系统T解释器该项目是编程语言的基本解释器。 目前只支持单行的执行。 解释器是用 Haskell 编程语言编写的。 有关哥德尔系统 T 语义的技术理解，请阅读第 9 章。...句法Godel 的 System T 只有两种类
godel-okgo-asset-errcheck则将这个功能集成到了godel的检查插件系统中，使得开发者可以无缝地在godel的工作流中执行errcheck检查。 通过使用godel-okgo-asset-errcheck，开发者可以确保每个函数或方法的返回值中，...
在这个背景下，`godel-okgo-asset-varcheck`应运而生，它是一个专门针对Go语言项目，用于检查未使用的未导出全局变量和常量的工具，旨在帮助开发者提升代码的整洁度和可维护性。 `godel-okgo-asset-varcheck`是`...
《godel-okgo-asset-nobadfuncs：构建安全与规范的Go项目》 在Go编程语言中，保持代码的整洁、安全与高效是每个开发者的责任。godel-okgo-asset-nobadfuncs是一个专门为Go项目打造的检查工具，它被设计成godel检查...
为了解决这一问题，Go语言社区创建了名为"godel-okgo-asset-deadcode"的工具，它是一款集成在godel框架下的检查插件，专用于检测并清除Go项目中的死代码。 godel是一个自动化工具，由Pivotal Software开发，旨在...
标题“Godel_Studying”暗示我们关注的主题与数学家库尔特·哥德尔（Kurt Gödel）的理论有关，而“C#”标签则表明我们将探讨的是使用C#编程语言来研究或实现与哥德尔相关的概念。哥德尔是逻辑学、数学和哲学领域的...