Attributes | Values |
---|
rdf:type
| |
Description
| - 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.
- 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)
|
Title
| - 'Pi' in the sky
- 'Pi' in the sky (en)
|
skos:prefLabel
| - 'Pi' in the sky
- 'Pi' in the sky (en)
|
skos:notation
| - RIV/61989100:27240/09:00021028!RIV10-GA0-27240___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/61989100:27240/09:00021028
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - mathematical constants; the number Pi; procedural semantics; TIL (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| - Acts of Knowledge: History, Philosophy and Logic
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...v/pocetStranKnihy
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| - Duží, Marie
- Jespersen, Bjorn
- Materna, Pavel
|
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| |
https://schema.org/isbn
| |
http://localhost/t...ganizacniJednotka
| |