1 ene 1300 año - Then came Ramon Llull, who is considered the pioneer of computation theory. He started working on a new system of logic in his work — Ars magna. Ars magna influenced the development of a couple subfields within mathematics.

Descripción:

Idea of a formal language
The idea of a logical rule
The computation of combinations
The use of binary and ternary relations
The use of symbols for variables
The idea of substation for a variable
The use of a machine for logic

All these led him to pioneer the idea of representing and manipulating knowledge using symbols and logic.