文件名称：GIT-IT：使用交互式搭配对戈德尔不完全性定理的证明进行解释。 GIT-IT？
文件大小：9KB
文件格式：ZIP
更新时间：2024-03-18 09:46:28
proofs theorems godel JavaScript
信息技术 项目 重点介绍彼得·史密斯（Peter Smith）的“哥德尔没有（太多）眼泪”中定义和定理之间的依存关系（请参阅 ） 更具体地说，我现在（对我自己）通过在定理的陈述和定义之间以及定义之间添加链接来解释戈德尔不完整定理的证明。 最后，我还要强调彼得史密斯（Peter Smith）文档中定理之间的依赖关系。 配置 使用HTML，CSS和JavaScript 部署中 在浏览器中打开git-it.html
【文件预览】：
GIT-IT-master
----theorems.js(3KB)
----images()
--------content-bg.png(2KB)
----git-it.html(2KB)
----code.js(6KB)
----README.md(630B)
----defs.js(3KB)
----styles.css(4KB)