nastavit jako výchozí stránku
   
   kultura

Poledňáková
 Marie, *7.9.1941 (Strakonice, Československo), česká spisovatelka, televizní a filmová...

Rickman
 [Rikmen], Alan, *21.2.1946 (Londýn, Velká Británie), vlastním jménem Alan Sidney Patrick Rickman...

Akin
 Fatih, *25.8.1973 (Hamburk, Německo), německý filmový režisér, scenárista, producent a herec...

Cruise
 Tom, *3.7.1962 (Syracuse, stát New York, USA), vlastním jménem Thomas Cruise Mapother IV., americký...

Costner
 [Kostner], Kevin, *18.1.1955 (Lynwood, Kalifornie, USA), vlastním jménem Kevin Michael Costner...


axióm
Logikamatematika, [řečtina], přijatý předpoklad. Výchozí tvrzení (věta), které bylo bez důkazu přijato jako základ axiomaticky budované teorie. Pomocí předem stanovených pravidel odvozování, jež umožňují přechod od jedněch vět ke druhým a zavádění nových pojmů (termínů) do teorie, lze ze systému axiómů odvodit všechna ostatní tvrzení (teorémy) teorie. Od antiky (Euklidova geometrie) až do poloviny 19. století byla platnost axiómů zdůvodňována intuitivně jako zřejmé, evidentní, apriorně pravdivé tvrzení. Soudobé pojetí axiomatizace, kdy danou teorii lze obvykle axiomatizovat na základě několika systémů axiómů, požaduje pouze to, že v teorii (odvozených teorémech) nesmí dojít ke sporu: vůči takové interpretaci teorie je pak výchozí systém axiómů pravdivý. Na axióm (systém axiómů) jsou kladeny kromě podmínky bezespornosti ještě další požadavky (nezávislosti, to jest žádný axióm nelze odvodit z axiómů ostatních a úplnosti), definované buď a) z daného systému axiómů lze dokázat všechny teorémy dané teorie, nebo b) přidáním dalšího nezávislého axiómu k systému by vedlo ke sporu.


 

Odkazující hesla: axiomatická soustava, axiomatizace, axiomatizovatelnost, Euklides, euklidovská geometrie, formalizace, interpretace teorie, logicismus, more geometrico, neeuklidovská geometrie, odvoditelnost, okruh, postulát, sémantický model, teorém, úplnost axiomatické soustavy, uznávání, vyplývání, základní filozofická otázka
Vytvořeno: 14.3.2000
Aktualizováno: 25.5.2006
Autor:





Fotbalove Dresyfutbalove dresy na predajmaglie calcio onlinebillige fotballdrakterImitazioni orologi italiafussball trikots kaufen
Texty encyklopedických hesel mohou obsahovat slova nebo slovní spojení, která mohou
být ochrannými známkami nebo registrovanými ochrannými známkami příslušných vlastníků.

© 1999 - 2018, OPTIMUS s.r.o.