The author offers information on the philosophy of mind and presents his views on the concept if the mind can be mechanized. It offers information on computer scientist Alan Turing's analysis of computability, incompleteness theory of logician Kurt Gödel, and mathematical outputs of idealized human mind. It also offers information on relationship between mechanism, mind, and mathematical truth.