About: 'Pi' in the sky     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
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
  • P(GA401/07/0451)
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
  • 333447
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
  • [B7F15251278B]
http://linked.open...i/riv/mistoVydani
  • London
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
  • College Publications
https://schema.org/isbn
  • 978-1-904987-92-5
http://localhost/t...ganizacniJednotka
  • 27240
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software