About: Is continuum denumerable?     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
  • Článek se zabývá Cantorovým argumentem pro nespočetnost reálných čísel v duchu Lakatosovy logiky matematického objevu. Argumentuji, že existují 'ontologicky' bezpečnější způsoby, jak ho rozvinout do plnohodnotné teorie kontinua. Na závěr ukazuji, že některé sémantické paradoxy jsou způsobeny povrchním porozuměním toho, co je vlastní jméno. (cs)
  • The article deals with Cantor’s argument for the non-denumerability of reals somewhat in the spirit of Lakatos’ logic of mathematical discovery. I argue that there are “ontologically” safer ways of developing the diagonal argument into a full-fledged theory of continuum, concluding eventually that famous semantic paradoxes based on diagonal construction are caused by superficial understanding of what a name is.
  • The article deals with Cantor’s argument for the non-denumerability of reals somewhat in the spirit of Lakatos’ logic of mathematical discovery. I argue that there are “ontologically” safer ways of developing the diagonal argument into a full-fledged theory of continuum, concluding eventually that famous semantic paradoxes based on diagonal construction are caused by superficial understanding of what a name is. (en)
Title
  • Is continuum denumerable?
  • Is continuum denumerable? (en)
  • Je kontinuum spočetné? (cs)
skos:prefLabel
  • Is continuum denumerable?
  • Is continuum denumerable? (en)
  • Je kontinuum spočetné? (cs)
skos:notation
  • RIV/00216208:11210/08:00102874!RIV09-MSM-11210___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(GA401/06/0387), Z(MSM0021620839)
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
  • 373339
http://linked.open...ai/riv/idVysledku
  • RIV/00216208:11210/08:00102874
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • continuum; denumerable (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [6147A2DF05F9]
http://linked.open...i/riv/mistoVydani
  • Praha
http://linked.open...i/riv/nazevZdroje
  • The Logica Yearbook 2007
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Kolman, Vojtěch
http://linked.open...n/vavai/riv/zamer
number of pages
http://purl.org/ne...btex#hasPublisher
  • Filosofia
https://schema.org/isbn
  • 978-80-7007-281-3
http://localhost/t...ganizacniJednotka
  • 11210
is http://linked.open...avai/riv/vysledek of
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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software