Re: Re: Re: Re: úroky a spol

Standa | 06.08.2016

Myslím si totiž, že je trochu rozdíl mezi hledáním nepravd a jejich nalezením.

Pokud za nepravdy prohlásíme logické rozpory s prokazatelnými pravdami, tak není pravda, že je najdeme ve všem.
V konzistentních logických systémech takové nepravdy nejsou. Hledání logidkých rozporů je velmi dobrým způsobem, jak konzistenci testovat.

Zpět na diskuzi

Přidat nový příspěvek