Work

Mathematical Explanation in Computer Science

Year: 2023
Type: article
Abstract: This note scouts a broad but underexplored class of explanations found in contemporary computer science. These explanations, which I call limitative explanations, explain why certain problems cannot be solved computationally. Limitative explanations are philosophically rich, but have not received the attention they deserve. The primary goals of this note are to isolate limitative explanations and provide a preliminary account of what makes them explanatory. On the account I favor, limitative explanations are a kind of non-causal mathematical explanation which depend on highly idealized models of computation.
Institution: Lingnan University
Language: English
Open Access status: hybrid
Estimated APC paid: $3,255
OpenAlex ID: W4321154078
FWCI: 14.6
Cites: 19
Cited by: 17
Related to: 10