Medieval Arabic Notions of Algorithm: Some Further Raw Evidence

DOI10.1007/978-3-030-48006-6_10OpenAlexW3027919790MaRDI QIDQ5049046

Wilfrid Hodges

Publication date: 9 November 2022

Published in: Fields of Logic and Computation III (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-48006-6_10

zbMATH Keywords

algorithmIbn Sīnāal-KhalīlAbū al-Barakātmedieval Arabic

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Related Items (1)

Logic, spatial algorithms and visual reasoning

Cites Work

• Two early Arabic applications of model-theoretic consequence
• Ibn Sīnā on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic
• Unnamed Item

This page was built for publication: Medieval Arabic Notions of Algorithm: Some Further Raw Evidence