Zen expected to become familiar with the classics of the Zen canon". A review of the early historical documents and literature of early Zen masters clearly reveals that they were well versed in numerous Mahāyāna Buddhist sūtras, including Madhyamaka. Especially the Lotus Sutra played a large role in the development of East Asian Buddhism, including Zen. Nevertheless, Zen is often pictured as anti-intellectual. This picture of Zen emerged during the Song Dynasty (960–1297), when Chán became the dominant form of Buddhism in China, and gained great popularity among the educated and literary classes of Chinese society. The use of koans, which
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