若則理のBlog

Peano arithmetic; Recursive function; Gödel number.

First-order logic; Definability; Gödel's completeness theorem.

Propositional logic; Basic modal logic.

《文史哲基礎與方法導引》選修課作業，一次缺乏連貫性的嘗試。

《西方音樂史》選修課作業，好像寫得有些過分長了……

為全國大學生職業規劃大賽而作。

Definition of Bernoulli‎ number using generating function.

From power sum to Bernoulli‎ number.

高中時期所有藝術作品的集合。

既可以說是未完稿，也可以說是殘篇。