यह दृष्टि , कि कंप्यूटर औपचारिक तर्क की किसी भी प्रक्रिया को अनुकरण कर सकते हैं , जिसे चर्च-ट्यूरिंग थीसिस के नाम से जाना जाता है ।
Entity: कंप्यूटर — Type: /organization/company, /product/instrument, /organization, /product