Exaktní: Porovnání verzí
Smazaný obsah Přidaný obsah
m Doplnil jsem odstavec "Exaktní stroje" ~~ |
m Doplnil jsem odstavec Exaktní věda a Exaktní stroje o několik vět, a doplnil jsem dva odkazy. |
||
Řádek 1:
'''Exaktní''' ([[latina|lat.]] ''exactus'' od ''exigó'', vyžaduji, zkoumám, měřím).
- Jako odborný termín znamená '''absolutně přesný'''. Nemůže se tedy vztahovat na reálný svět, ale pouze na abstraktní konstrukce. Důvodem je, že jakékoli měření entit reálného světa vždy poskytuje výsledky s konečnou přesností, i nejpřesnější
- Jako slovo hovorového jazyka je považováno za [[synonymum]] pro přesnost, ovšem v jisté nadsázce, a je otázkou, zda je správné ho v tomto významu používat.
Řádek 8:
- - Exaktní a neexaktní řešení: Některé aplikace jsou řešitelné pouze opuštěním přísného a omezujícího požadavku exaktnosti výsledku. Například proto, že neexistuje matematická funkce, která by (v jisté definiční oblasti) byla exaktním řešením dané diferenciální rovnice. Může ale existovat posloupnost funkcí, která s libovolnou přesností (nikoli však exaktně), řešením té rovnice je. Dosazením exaktního výsledku (řešení) do výchozího vztahu (rovnice) dostáváme identitu. Neexaktní výsledek se od exaktního liší o "chybu", takže po jeho dosazení identitu nedostaneme.
* [[Exaktní věda]] je postavena na myšlence vytvořit model dané části '''reálného světa''' (tj. vytvořit kognitivní – znalostní model té jeho části) tak, aby tento model byl součástí '''exaktního světa'''. Plyne z toho, že je to věda založená na exaktním poznání reálného světa a exaktním zápisu poznaného, a tak i exaktním sdělování poznaného. Jejím zakladatelem je [[Isaac Newton]]. Jedná se samozřejmě o abstraktní konstrukci, kdy reálný svět není poznáván přirozeným lidským způsobem (vágně), ale speciálně tvořenými prostředníky, veličinami a parametry. Jsou jistými manifestacemi reálného světa, či sondami do reálného světa. Zde platí vpodstatě totéž, co bylo vyřčeno pro matematiku, je to však trochu složitější. Exaktnost dané vědy tkví v tom že, jak matematické objekty, tak i operace nad nimi jsou exaktně vytyčeny tj. s nulovou vnitřní vágností, tedy tak, že každý v matematice vzdělaný člověk naprosto přesně, bez jakýchkoli pochyb ví, co znamenají (vědec zná použitou matematiku). Navíc, onen vědec musí naprosto bez pochyb (s nulovou vnitřní vágností) vědět, co veškeré použité matematické jazykové konstrukce znamenají v dané části reálného světa. K tomu účelu Newton zavedl prostředníky pro poznání reálného světa, veličiny a parametry. Jinými slovy: takto je (s nulovou vnitřní vágností, tedy exaktně) lidská psýcha propojena nejen s významy matematických objektů a operací nad nimi, ale navíc i s jejich významy v reálném světě.
* [[Exaktní hry
* [[Exaktní stroje]] jsou materializované formální systémy ([[Turingův stroj]], automat), popsané některou z Chomského formálních gramatik, jsou to stroje s diskrétními stavy. Právě diskrétní stavy umožňují vytvořit technickou realizaci stroje zaručující nezávislost jeho činnosti na jeho materiální podstatě, je to tatáž situace, jako u exaktních her. Technické řešení eliminuje působení těch vlivů materiálního světa, které by narušovaly jeho činnost danou jen a jen odpovídající formální gramatikou. Mezi matematickým (programovým) popisem takového stroje a jeho činností je '''exaktní''' vztah. Někdy se proto jazyk a odpovídající stroj ztotožňují, stroj provádí přesně to, co jazyk popisuje. Matematický (programový) popis je umělým formálním jazykem. Tento typ jazyků je specifický tím, že interpretace všech jeho jazykových konstrukcí musí být exaktní, tedy s nulovou vnitřní vágností. Znamená to, že každý znalý člověk tak, zcela přesně, tedy bez jakýchkoli pochyb musí vědět, co která jazyková konstrukce znamená. Je to další exaktní vztah (u exaktních strojů), tentokrát mezi popisujícím jazykem a lidskou psýchou. Platí to v interpretaci do jakékoli oblasti, v případě interpretace do dané části reálného světa je to možné pouze Newtonovým přístupem viz [[Exaktní věda]], kdy je reálný svět poznáván exaktně, a popisován matematicky reprezentovanými vztahy mezi veličinami, v reálném světě rozpoznanými. Toto je případ, kdy jevy reálného světa jsou modelovány exaktním strojem.
|