![]() |
University of Cambridge > Talks.cam > CamPoS (Cambridge Philosophy of Science) seminar > Hacks and explanations via program execution
Hacks and explanations via program executionAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Matt Farr. This talk is about hacks – seemingly ad hoc, unprincipled bits of code used to make a program run more efficiently, or, in some cases, simply run at all. Hacks are exceedingly common, but their philosophical significance has not been fully appreciated. First, using an infamous hack for computing fast inverse square roots as a motivating example, I sketch an account of what it is to explain how hacked programs work. On this account, we cannot explain how a hacked program works without reference to facts about a system’s computational architecture and notation. Then, I suggest that this has ramifications for accounts of computational explanation that foreground a system’s abstract causal structure or its semantic properties. The ramification is that these accounts are in trouble. This talk is part of the CamPoS (Cambridge Philosophy of Science) seminar series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsCamBRAIN Virtual Journal Club Dr Hanno Balz on 'Hostile Takeover: A Political History of the Colour Red' Cambridge Society for the Application of Research (CSAR)Other talksPolar Oceans Seminar Talk - Josue Martinez Paula Jofre - " The chemical abundances in stellar atmospheres as fossil records of the Universe." Computational Biology: Seminar Series - Dr Roser Vento-Torno Chalk talk History of mathematics for mathmos 16 Title TBC |