About: Poincaré's Critique of formal logic (1894-1906)     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
  • V letech 1894-1906 Henri Poincaré publikuje články o povaze matematického uvažování, logice a o základech matematiky. V příspěvku zhodnotíme jeho názory v porovnání k dobovému vývoji matematiky a počátkům formální logiky.
  • V letech 1894-1906 Henri Poincaré publikuje články o povaze matematického uvažování, logice a o základech matematiky. V příspěvku zhodnotíme jeho názory v porovnání k dobovému vývoji matematiky a počátkům formální logiky. (cs)
  • In 1894-1906, Henri Poincaré publised his philosophical papers on nature of mathematical reasoning, logic and foundations of mathematics. In this contribution, we evaluate his opinions in comparision to contemporary evolution of mathematics and origins of formal logic. (en)
Title
  • Poincaré's Critique of formal logic (1894-1906) (en)
  • Poincarého kritika formální logiky (1894-1906)
  • Poincarého kritika formální logiky (1894-1906) (cs)
skos:prefLabel
  • Poincaré's Critique of formal logic (1894-1906) (en)
  • Poincarého kritika formální logiky (1894-1906)
  • Poincarého kritika formální logiky (1894-1906) (cs)
skos:notation
  • RIV/49777513:23330/12:43918248!RIV13-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
  • 159304
http://linked.open...ai/riv/idVysledku
  • RIV/49777513:23330/12:43918248
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • intuition; logic; mathematics; H. Poincaré; history of 19th and 20th century mathematics (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [1C1CC7ABF755]
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
  • Větrovcová, Marie
http://localhost/t...ganizacniJednotka
  • 23330
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