This HTML5 document contains 40 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n11http://localhost/temp/predkladatel/
n8http://purl.org/net/nknouf/ns/bibtex#
n13http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n9http://linked.opendata.cz/resource/domain/vavai/projekt/
n14http://linked.opendata.cz/ontology/domain/vavai/
n18https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n5http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n6http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989100%3A27240%2F09%3A00021028%21RIV10-GA0-27240___/
n20http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n15http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989100%3A27240%2F09%3A00021028%21RIV10-GA0-27240___
rdf:type
skos:Concept n14:Vysledek
dcterms: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.
dcterms:title
'Pi' in the sky 'Pi' in the sky
skos:prefLabel
'Pi' in the sky 'Pi' in the sky
skos:notation
RIV/61989100:27240/09:00021028!RIV10-GA0-27240___
n4:aktivita
n17:P
n4:aktivity
P(GA401/07/0451)
n4:dodaniDat
n15:2010
n4:domaciTvurceVysledku
n13:3439151
n4:druhVysledku
n19:C
n4:duvernostUdaju
n12:S
n4:entitaPredkladatele
n6:predkladatel
n4:idSjednocenehoVysledku
333447
n4:idVysledku
RIV/61989100:27240/09:00021028
n4:jazykVysledku
n20:eng
n4:klicovaSlova
mathematical constants; the number Pi; procedural semantics; TIL
n4:klicoveSlovo
n5:procedural%20semantics n5:TIL n5:mathematical%20constants n5:the%20number%20Pi
n4:kontrolniKodProRIV
[B7F15251278B]
n4:mistoVydani
London
n4:nazevZdroje
Acts of Knowledge: History, Philosophy and Logic
n4:obor
n10:BA
n4:pocetDomacichTvurcuVysledku
1
n4:pocetStranKnihy
380
n4:pocetTvurcuVysledku
3
n4:projekt
n9:GA401%2F07%2F0451
n4:rokUplatneniVysledku
n15:2009
n4:tvurceVysledku
Duží, Marie Jespersen, Bjorn Materna, Pavel
s:numberOfPages
16
n8:hasPublisher
College Publications
n18:isbn
978-1-904987-92-5
n11:organizacniJednotka
27240