我從小就很喜歡數學，可是我不是很喜歡算術，因為算術很花時間，而且我寫字並沒有很快，但是後來發現電腦可以幫我把比較冗長部分做完，所以我只需要去學數學的原理，證明的過程、推導的過程等等，電腦可以幫我做，有點像腳踏車，要往哪個方向、什麼時候踏下踏板是我決定的，但是我每走一步可以走比較遠的感覺，很像心靈的腳踏車，所以從八、九歲就是這種感覺，當時我記得是在國中的時候接觸到哲學家叫做維根斯坦，有本書叫做「邏輯哲學論」，推論出一些基本的原理，因為要花很多表格，叫做「真值表」，所以用手操作起來很麻煩，我後來想說可以在電腦裡面把很麻煩的部分做完，我只要告訴他說蘇格拉底是人，人都是不免一死，就會幫我推論出蘇格拉底不免一死等等的推論結果，最基礎的是三段論法，所以從衍生可以做很多的邏輯推理，甚至可以幫數學家來做一些證明的合作。