方而静 szTom
0 Followers · 0 Following
  • Joined on 2022-08-22
Repositories
16
 Projects Packages Public Activity Starred Repositories
1
szTom commented on issue ez_lcw/lcw-analyze#6 2022-09-24 11:15:27 +00:00
使用二级标题标记章节内的小节标题

在 #15 一并修复第 8 章吧

szTom commented on pull request ez_lcw/lcw-analyze#15 2022-09-24 11:14:08 +00:00
基本完成前8章

This will fix #15

szTom reopened issue ez_lcw/lcw-analyze#12 2022-09-24 11:12:54 +00:00
处理命题序号变更时其他引用之处无法动态跟随变化的问题
szTom opened issue ez_lcw/lcw-analyze#16 2022-09-24 10:56:47 +00:00
使用括号标记证明思虑
szTom commented on pull request ez_lcw/lcw-analyze#15 2022-09-24 10:51:58 +00:00
基本完成前8章

另一方面，用括号标记思虑会更清晰

szTom commented on pull request ez_lcw/lcw-analyze#15 2022-09-24 10:51:26 +00:00
基本完成前8章

而且已经被广泛使用了，全改过来很累的。

szTom commented on pull request ez_lcw/lcw-analyze#15 2022-09-24 10:50:28 +00:00
基本完成前8章

我认为写在括号里也更好。想象一下你在完成一个考试中的证明题什么的，你的证明可以直接以“假设……”开始。因为反证法只是一种思路，并不属于这个证明的正文部分。

szTom commented on pull request ez_lcw/lcw-analyze#15 2022-09-24 10:50:28 +00:00
基本完成前8章

指出这是ZFC公理集合论（的一种表述方式）

szTom commented on pull request ez_lcw/lcw-analyze#15 2022-09-24 10:50:28 +00:00
基本完成前8章

这句话，感觉好拗口。考虑改成：“……也有可能只是一个记号表明 X,Y 具有相同的基数。这之间的区别往往是上下文自明的，另一方面， X,Y 均为有限集时，这两种定义是相容的。（因为等价关系的传递性）”

szTom commented on pull request ez_lcw/lcw-analyze#15 2022-09-24 10:50:28 +00:00
基本完成前8章

“告一段落”的意思是：️正在进行的事情暂时停止，也就是暂时结束。例句：在事情告一段落后，下一阶段再继续努力吧！

szTom suggested changes for ez_lcw/lcw-analyze#15 2022-09-24 10:50:28 +00:00
基本完成前8章
szTom pushed to master at szTom/wschat-ng 2022-09-22 05:48:38 +00:00
55c7402868 [fix] typo
szTom pushed to master at szTom/wschat-ng 2022-09-22 05:48:05 +00:00
a33cbdd1b7 [fix] typo
szTom closed issue ez_lcw/lcw-analyze#12 2022-09-21 12:55:37 +00:00
处理命题序号变更时其他引用之处无法动态跟随变化的问题
szTom commented on issue ez_lcw/lcw-analyze#14 2022-09-21 12:55:11 +00:00
简化垂线判别法的表述

我觉得没有必要，无需滥用名词

szTom closed issue ez_lcw/lcw-analyze#14 2022-09-21 12:55:11 +00:00
简化垂线判别法的表述
szTom merged pull request ez_lcw/lcw-analyze#11 2022-09-21 07:36:02 +00:00
增加番外篇：5A戴德金分割与实数理论
szTom pushed to main at ez_lcw/lcw-analyze 2022-09-21 07:36:02 +00:00
c772532508 确保除法中的被除数不是0
42116841a0 标记5A完成
86da095e7d 增加除法的定义
b7d6857647 增加 5A（番外篇：戴德金分割与实数理论）
Compare 4 commits »
szTom deleted branch dedekind-cut from ez_lcw/lcw-analyze 2022-09-21 07:36:02 +00:00
szTom commented on issue ez_lcw/lcw-analyze#12 2022-09-21 07:35:13 +00:00
处理命题序号变更时其他引用之处无法动态跟随变化的问题

你打算怎么办