很有深度的讀書筆記，鼓勵你繼續創作下去！

在此，我幫這篇文加一點註解，希望讓大家能更輕易讀懂:

• 自然數與偶數數目相同，用這個方式想可能會比較好理解：
  
  
  也就是一個蘿蔔一個坑；一個自然數可以對應上一個唯一的偶數，反之亦然；由是數目會一樣。數學上，這稱為等勢。
  
  
• 關於一階邏輯與哥爾德的一些事，我找了一些資料提供給眾人：
  謂詞邏輯、一階邏輯與「哥德爾完備定理」
  從程式人的角度證明「哥德爾不完備定理」

至於說哥爾德是第一個程式設計師，我倒認為拜倫的女兒——愛達比較像。她將一些計算程序化，以打孔卡控制分析機的計算。真的在做當代程式設計師所做的事。