તેમણે એક માણસ ગાણિતિક મશીન એક માણસ દોષરહિત તર્ક તરીકે ઓળખાતું હતું.