| Attributes | Values |
|---|
| rdf:type
| |
| Description
| - Formalismus primárně zkoumá, zda výroky matematiky odkazují k nějakému významu. Odpověď na tuto otázku i v rámci formalismu závisí na tom, jakou variantu této vlivné filozofie matematiky bereme v úvahu. První varianta, tzv. termínový formalismus, obhajuje přesvědčení, že předmětem matematiky jsou samotné symboly, respektive systém číslic a jazykových forem. Druhý typ bývá označován jako formalismus jako hra a matematiku přirovnává ke hře založené na pravidlech pro jazykové formy. Třetí varianta, deduktivismus, je spjat se systémem Hilbertových Základů geometrie. Poslední varianta, finitismus, bývá synonymně označována jako Hilbertův program.
- Formalismus primárně zkoumá, zda výroky matematiky odkazují k nějakému významu. Odpověď na tuto otázku i v rámci formalismu závisí na tom, jakou variantu této vlivné filozofie matematiky bereme v úvahu. První varianta, tzv. termínový formalismus, obhajuje přesvědčení, že předmětem matematiky jsou samotné symboly, respektive systém číslic a jazykových forem. Druhý typ bývá označován jako formalismus jako hra a matematiku přirovnává ke hře založené na pravidlech pro jazykové formy. Třetí varianta, deduktivismus, je spjat se systémem Hilbertových Základů geometrie. Poslední varianta, finitismus, bývá synonymně označována jako Hilbertův program. (cs)
- Formalism, as one of the most influential philosophies of mathematics in the 20th century, primarily tries to answer a question whether mathematical statements mean anything. The response to the question depends on what kind of formalism we accept. It implies a historical fact that there are several types of this philosophical strategy for explanation and justification of mathematical statements and (mathematical) ontology. The first type of formalism is so called term formalism which argues that a subject matter of mathematics (if any) represents characters or symbols, i.e. the system of numerals and other linguistic forms. The second type can be characterised as game formalism, a view that likens the practise of mathematics to a game played with linguistic forms. The third and perhaps the most bearing variant, deductivism, is bound up with Hilbert's famous book Grundlagen der Geometrie. And finally finitism - the last modification of formalism well known as Hilbert's program. Kurt Gödel proved that the aim to find a single formal system that captures all of classical mathematics, or even all of arithmetic is impossible. This result, known as Gödel's first and second incompleteness theorem, undermined Hilbert program (finitism). Nonetheless this was not the essential part of Hilbert program. (en)
|
| Title
| - Basic Variations of the Classic Formalism (en)
- Základní varianty klasického formalismu
- Základní varianty klasického formalismu (cs)
|
| skos:prefLabel
| - Basic Variations of the Classic Formalism (en)
- Základní varianty klasického formalismu
- Základní varianty klasického formalismu (cs)
|
| skos:notation
| - RIV/61989592:15210/02:33138828!RIV13-MSM-15210___
|
| http://linked.open...avai/riv/aktivita
| |
| http://linked.open...avai/riv/aktivity
| |
| http://linked.open...iv/cisloPeriodika
| |
| 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
| |
| http://linked.open...ai/riv/idVysledku
| - RIV/61989592:15210/02:33138828
|
| http://linked.open...riv/jazykVysledku
| |
| http://linked.open.../riv/klicovaSlova
| - Philosophy of mathematics, formalism, meaning, linguistic form, David Hilbert (en)
|
| http://linked.open.../riv/klicoveSlovo
| |
| http://linked.open...odStatuVydavatele
| |
| http://linked.open...ontrolniKodProRIV
| |
| http://linked.open...i/riv/nazevZdroje
| - ACTA UNIVERSITATIS PALACKIANAE OLOMUCENSIS, PHILOSOPHICA V
|
| http://linked.open...in/vavai/riv/obor
| |
| http://linked.open...ichTvurcuVysledku
| |
| http://linked.open...cetTvurcuVysledku
| |
| http://linked.open...UplatneniVysledku
| |
| http://linked.open...v/svazekPeriodika
| |
| http://linked.open...iv/tvurceVysledku
| |
| issn
| |
| number of pages
| |
| http://localhost/t...ganizacniJednotka
| |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)