"We argue for a procedural semantics for mathematical constants, using 'Pi' as a hard test case. The semantics of 'Pi' consists in 'Pi' expressing as its sense a procedure producing the number Pi. What is semantically salient about 'Pi' is only what it means and not also what it denotes. In the final analysis, 'Pi' is shorthand for, and therefore synonymous with, a denite description expressing a denition of Pi and denoting the number so defined. But for each definitionn of Pi there is going to be a pair 'Pi',, definitionn(Pi). We avoid homonymy by assigning each such pair to a particular conceptual system." . "Du\u017E\u00ED, Marie" . . . "Acts of Knowledge: History, Philosophy and Logic" . . "College Publications" . "Jespersen, Bjorn" . . "mathematical constants; the number Pi; procedural semantics; TIL"@en . "We argue for a procedural semantics for mathematical constants, using 'Pi' as a hard test case. The semantics of 'Pi' consists in 'Pi' expressing as its sense a procedure producing the number Pi. What is semantically salient about 'Pi' is only what it means and not also what it denotes. In the final analysis, 'Pi' is shorthand for, and therefore synonymous with, a denite description expressing a denition of Pi and denoting the number so defined. But for each definitionn of Pi there is going to be a pair 'Pi',, definitionn(Pi). We avoid homonymy by assigning each such pair to a particular conceptual system."@en . "RIV/61989100:27240/09:00021028!RIV10-GA0-27240___" . "RIV/61989100:27240/09:00021028" . . "London" . "27240" . . "'Pi' in the sky" . . . . "380"^^ . . "P(GA401/07/0451)" . . "'Pi' in the sky" . "'Pi' in the sky"@en . "[B7F15251278B]" . "Materna, Pavel" . "1"^^ . "16"^^ . . . "978-1-904987-92-5" . "'Pi' in the sky"@en . . . "3"^^ . . "333447" .