也许你从来没有懂过自然数

合集 · 从零开始的代数 (3)

Description

终于在开学前把这个视频做完了
第一次用manim做视频，所以选了一个代数的主题，涉及的物件比较少，整体做下来难度更像是在动画化latex，是一个比较好的入门练习了
当然在视频制作的时候也还是遇到了蛮多的问题，最大的问题在配音对轴上，一开始确定的工作流没有使用manim-voiceover
，把配音工作放在剪辑时，这样子比较容易调用obs中做好的调衡器，导致后期的剪辑其实花了蛮多时间，而且分步录音的声音一致性很难保证。其次在制作动画的时候的代码量也很大，感觉一些纯文字的证明过程还是比较适合手写或者用别的办法，用manim在文字排版的时候还是很麻烦的。

不过在选bgm时候还是塞了一些（存疑）私货
听不懂的朋友也许可以拿来助眠......

Comments

kr3am 2025-09-10

commutes

♥ 22 ↩ 1

racien 2025-09-27

自然数就是一个有单一起始、无限延伸、没有自相交和分叉的链条。单一起始定义了0，链条（环节）定义了后续，没有自相交和分叉保证前后续唯一性，无限延伸定义了数学归纳法。任何一个具有上述结构特点的集合都是自然数（同构意义下）并且都可以在其上构造自然数的代数结构（加法和乘法）。怎么构造并不重要，重要的是自然数集合元素间的结构。

♥ 8