minor_second - 博客园

2022年1月2日

摘要：哥德尔证明 Q: 不完全性表达为（）不能推出（）。这里的$\models$是“朴素认为的真理”，并不是标准模型中的。直观确实直观，但是要说清楚要费工夫（这是直观模型，不是形式化的）哥德尔证明需要构造出（）中为真的某个$\mathscr U$ A: $\models \mathscr A$，\ 阅读全文

posted @ 2022-01-02 16:49 minor_second 阅读(315) 评论(0) 推荐(0) 编辑

数理逻辑学习笔记[12] 数学基础(2)

摘要： 5 数学基础 5.4 一阶算术 Q: 如何理解“算术化”和$\mathbb H\Rightarrow \mathbb C\Rightarrow \mathbb R\Rightarrow \mathbb Q\Rightarrow \mathbb Z\Rightarrow \mathbb N$？ A: 阅读全文

posted @ 2022-01-02 00:05 minor_second 阅读(310) 评论(0) 推荐(0) 编辑

2021年12月28日

ExpRe[35] 虚拟机[0] VMware打开现有虚拟机（Win10）

摘要：时效性本篇撰写时间为2021.12.28，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1348 本篇参考阅读全文

posted @ 2021-12-28 22:04 minor_second 阅读(551) 评论(0) 推荐(0) 编辑

2021年12月27日

ExpRe[34] 全新的Windows 10里有什么？

摘要：时效性本篇撰写时间为2021.12.27，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。本篇前置： 8GB以上空的U盘准备重装系统的能联网的电脑自己的邮箱或手机号本篇参考：阅读全文

posted @ 2021-12-27 18:57 minor_second 阅读(615) 评论(0) 推荐(0) 编辑

2021年12月22日

ExpRe[33] 文献管理[1] 文献数据库检索，R语言包bibliometrix

摘要：时效性本篇撰写时间为2021.12.20，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1348 本篇前置阅读全文

posted @ 2021-12-22 07:38 minor_second 阅读(510) 评论(0) 推荐(0) 编辑

2021年12月20日

ExpRe[31] LaTeX[0] Overleaf在线使用，texlive本地使用，VSCode插件

posted @ 2021-12-20 14:48 minor_second 阅读(807) 评论(0) 推荐(0) 编辑

ExpRe[30] Chrome[1] 更多生产力插件推荐

posted @ 2021-12-20 12:30 minor_second 阅读(61) 评论(0) 推荐(0) 编辑

ExpRe[29] Windows下的“bootstrap”深度神秘过程

摘要：时效性本篇撰写时间为2021.12.19，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1348 本篇参考阅读全文

posted @ 2021-12-20 09:40 minor_second 阅读(234) 评论(0) 推荐(0) 编辑

2021年12月18日

ExpRe[28] PowerShell[0] 简单自动化，安全策略，打开方式

摘要：时效性本篇撰写时间为2021.12.18，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1348 Shel 阅读全文

posted @ 2021-12-18 23:07 minor_second 阅读(152) 评论(0) 推荐(0) 编辑

2021年12月17日

ExpRe[27] VSCode[2] 资源管理器，本地和网上HTML，PDF，词典

摘要：时效性本篇撰写时间为2021.12.17，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1348 本篇前置阅读全文

posted @ 2021-12-17 16:54 minor_second 阅读(263) 评论(0) 推荐(0) 编辑