About: Hilbertův program: proměna matematické praxe před a po Gödelových větách o neúplnosti     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
  • The chapter deals with the problem of the completeness in mathematics as defined by the Hilbert program. Further it describes the overwhelming of the program by the Gödel incompleteness theorems and shows the alternatives how to undertake the program farther. (en)
  • Kapitola pojednává o problematice úplnosti matematiky definované Hilbertovým programem. Ukazuje nerealizovatelnost tohoto programu dokázané Gödelovými větami a zabývá se alternativami k naplnění tohoto programu po Gödelovi.
  • Kapitola pojednává o problematice úplnosti matematiky definované Hilbertovým programem. Ukazuje nerealizovatelnost tohoto programu dokázané Gödelovými větami a zabývá se alternativami k naplnění tohoto programu po Gödelovi. (cs)
Title
  • Hilbertův program: proměna matematické praxe před a po Gödelových větách o neúplnosti
  • The Hilbert program: change of mathematical practice before and after the Gödel theorems on completeness (en)
  • Hilbertův program: proměna matematické praxe před a po Gödelových větách o neúplnosti (cs)
skos:prefLabel
  • Hilbertův program: proměna matematické praxe před a po Gödelových větách o neúplnosti
  • The Hilbert program: change of mathematical practice before and after the Gödel theorems on completeness (en)
  • Hilbertův program: proměna matematické praxe před a po Gödelových větách o neúplnosti (cs)
skos:notation
  • RIV/49777513:23330/10:00504452!RIV11-GA0-23330___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(GAP401/10/0690)
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
  • 261620
http://linked.open...ai/riv/idVysledku
  • RIV/49777513:23330/10:00504452
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • D. Hilbert; K. Gödel; completeness in mathematics (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [921E095952A4]
http://linked.open...i/riv/mistoVydani
  • Praha
http://linked.open...vEdiceCisloSvazku
  • Dějiny matematiky, 45
http://linked.open...i/riv/nazevZdroje
  • Matematika v proměnách věků VI
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
  • Dostálová, Ludmila
number of pages
http://purl.org/ne...btex#hasPublisher
  • Matfyzpress
https://schema.org/isbn
  • 978-80-7378-146-0
http://localhost/t...ganizacniJednotka
  • 23330
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, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software