數理邏輯筆記 No.4
Gödel's incompleteness theorems; Turing machine.
數理邏輯筆記 No.3
Veröffentlicht am
in
Learning
.
Foundations
Peano arithmetic; Recursive function; Gödel number.
數理邏輯筆記 No.2
Veröffentlicht am
in
Learning
.
Foundations
First-order logic; Definability; Gödel's completeness theorem.
數理邏輯筆記 No.1
Veröffentlicht am
in
Learning
.
Foundations
Propositional logic; Basic modal logic.
關於悖論和數學哲學的一些想法
Veröffentlicht am
in
Writing
《文史哲基礎與方法導引》選修課作業，一次缺乏連貫性的嘗試。
雪與夢
第一次看到北方的雪，的確感到震撼。一種灰暗而壯闊的全景，這是前所未見的。
Bernoulli Number 2
Veröffentlicht am
in
Learning
.
Number Theory
Definition of Bernoulli number using generating function.
Bernoulli Number 1
Veröffentlicht am
in
Learning
.
Number Theory
From power sum to Bernoulli number.