例子有停機問題（halting problem）嘅思考，喺解決呢個問題嘅過程入面，亞倫圖靈（Alan Turing）用咗反證法證明呢個世界上冇可能有電腦能夠攞一個程式嘅碼做輸入，再俾出正確嘅「呢段碼會唔會停機」輸出－成個過程都係齋靠邏輯推理，就好似一般數學家嘅思考過程噉。