Computation and Indispensability

DOI10.12775/LLP.2020.011OpenAlexW3040338551MaRDI QIDQ5013616

Jeffrey Ketland

Publication date: 2 December 2021

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2020.011

zbMATH Keywords

computationapplicability of mathematicsindispensability

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• What is mathematical truth?
• A set of postulates for the foundation of logic
• Dynamische Systeme und unitäre Matrizen
• A set of postulates for the foundation of logic. II
• Russell's 1903 - 1905 Anticipation of the Lambda Calculus
• Definitions by Abstraction in the Peano School
• Steps toward a constructive nominalism
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computation and Indispensability