Ramon Llull
1200年代末から1300年代初頭にかけて、文字列を生成する機械仕掛け（日本では、「ルルスの円盤」等と呼ばれる）によって世界の真理を得る術（ルルスの術、アルス・マグナ）を考案する。ガリヴァー旅行記のラピュータで出てくるザ・エンジンはこれに着想を得たものとする説がある。これについて『ブルバキ数学史』は、ライプニッツの数学における、記号の機械的な操作のみによることで、正しい推論のみを得る、という発想について、ラモン・リュイにまで遡ることができる、としている。