Buddhism Zen Buddhism is divided into two main schools: Rinzai (臨済宗) and Sōtō (曹洞宗), the former greatly favouring the use in meditation on the koan (公案, a meditative riddle or puzzle) as a device for spiritual break-through, and the latter (while certainly employing koans) focusing more on "shikantaza" or "just sitting". Zen Buddhism is primarily found in Japan, with some presence in South Korea and Vietnam. The scholars of Japanese Soto Zen tradition in recent times have critiqued the mainstream Japanese Buddhism for "dhatu-vada", that is assuming things have substantiality, a view they assert to be non-Buddhist and "out of tune
Automated reasoning development of formal logic played a big role in the field of automated reasoning, which itself led to the development of artificial intelligence. A formal proof is a proof in which every logical inference has been checked back to the fundamental axioms of mathematics. All the intermediate logical steps are supplied, without exception. No appeal is made to intuition, even if the translation from intuition to logic is routine. Thus, a formal proof is less intuitive, and less susceptible to logical errors. Some consider the Cornell Summer meeting of 1957, which brought together a large number of logicians and computer