Строгий формальный подход к пониманию ума не всегда работает, так как ум - это комплексное понятие, включающее в себя и формальную логику, и интуицию. Теоремы Геделя доказывают ограниченность формальной логики и необходимость интуиции. Психика не сводится к набору программ, это редукционизм.