Exaktní: Porovnání verzí

Smazaný obsah Přidaný obsah
m Provedena stylistická úprava.
Bez shrnutí editace
značky: revertováno možný vandalismus první editace odstraněna reference editace z Vizuálního editoru editace z mobilu editace z mobilního webu Editační tipy
Řádek 1:
Michaela Berankova za svobodna sedlackova je významná herečka a zpěvačka {{Sloh}}
{{Sloh}}
 
á přesný.
'''Exaktní''' ([[latina|lat.]] ''exactus'' od ''exigó'', vyžaduji, zkoumám, měřím) znamená přesný.
 
== Exaktní svět ==
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ší výrobní technologie je schopna vytvořit výrobky pouze v jistých nenulových tolerancích, nikoli absolutně přesné. S reálným světem nejsme schopni pracovat (přetvářet ho, ani měřit) exaktně.<ref name=":0"> {{Citace monografie
[[Umělý formální systém]], je tvořen umělým [[formální jazyk| formálním jazykem]] s inferencí (odvozováním). Je zastřešujícím (nejobecnějším) představitelem '''exaktního světa'''. Vzniknul „cestou zdola“ postupným zobecňováním myšlenek a problémů formální logiky, Chomského formálních gramatik a jejich vztahu k Turingovým exaktním strojům – automatům. Idea formálního systému je dílem E.L.Posta amerického matematika polského původu, inspirovaná pracemi A. N. Whiteheada a B. Russella a dalšími.<ref name=":0" /> {{Citace monografie
| příjmení = Křemen
| jméno = Jaromír
Řádek 15 ⟶ 16:
| isbn2 = 80-200-1477-2
| oclc = 189425641
}} </ref>
}} </ref> Zmíněné abstraktní konstrukce jsou '''exaktní''', jsou-li exaktně vytyčeny (tj. s nulovou vnitřní [[ Vágnost|vágností]] jejich významu), tedy tak, že každý s nimi seznámený odborník naprosto přesně (bez jakýchkoli pochyb) ví, co znamenají. Exaktnost oněch abstraktních konstrukcí (říkejme jim '''exaktní svět''') tedy spočívá v přesné a neomylné vazbě lidské psýchy s jejich významem. V některých případech mohou abstraktní konstrukce mít exaktní vztah k dalším entitám exaktního světa, na příklad exaktní a neexaktní řešení v matematice, vztah ke specifickým entitám reálného světa v exaktní vědě, nebo v exaktních hrách apod. Toto je však odlišně chápaná exaktnost, než ta výše uvedená, vztahující se k lidské psýše a zajišťující tak exaktnost uvedených abstraktních konstrukcí.
 
== Exaktní svět ==
[[Umělý formální systém]], je tvořen umělým [[formální jazyk| formálním jazykem]] s inferencí (odvozováním). Je zastřešujícím (nejobecnějším) představitelem '''exaktního světa'''. Vzniknul „cestou zdola“ postupným zobecňováním myšlenek a problémů formální logiky, Chomského formálních gramatik a jejich vztahu k Turingovým exaktním strojům – automatům. Idea formálního systému je dílem E.L.Posta amerického matematika polského původu, inspirovaná pracemi A. N. Whiteheada a B. Russella a dalšími.<ref name=":0" />
 
Ve formálním systému důsledně rozlišujeme část