This type of philosophy of mathematics explores the relationship between mathematics and computation, arguing that mathematical reasoning can be seen as a form of algorithmic processing.
This type of philosophy of mathematics explores the relationship between mathematics and computation, arguing that mathematical reasoning can be seen as a form of algorithmic processing.