About Llull as Computer Scientist or Why Llull Was One of Us
| Authors | Sales, Ton; Bertran, Miquel; Rus, Teodor |
|---|---|
| Date | 1997 |
| Proceedings | Transformation-Based Reactive Systems Development |
| Publisher | Springer |
| Place | Berlin, Heidelberg |
| Vol / Pages | pp. 15-21 |
| ISBN | 978-3-540-69058-0 |
| DOI | 10.1007/3-540-63010-4_2 |
| URL | https://www.researchgate.net/publication/221502602_Llull_as_Computer_Scientist_or_Why_Llull_Was_One_of_Us |
| Language | en |
Type: Conference Paper
Tags: Al-Kwarizmi, Boole, computers, diagrams, Faith, graph theory, history of mathematics, Leibniz, Llull, logic, Peter Ramus, Reason, semantic networks
Abstract
Crucial notions on which Computer Science is based originated in Ramon Llull, an often misunderstood marginal 13th-century philosopher. This paper explores some of Llull's original insights - and his plausible inspiration sources - and notes how these ideas have been made available to us by way of Leibniz and others. Llull's ultimate purpose was to found religion on reason, to justify beliefs bia logical analysis. His innovations include the idea that logical reasoning is akin to doing mechanical computation operations on elementary truths to generate new truths, [A, CJ]