Posted By: medved (A~z na v~eky Mikov~ce.) on 'CZscience' Title: Re: Relativita, mlzeni a biflovani - vira Date: Mon Jun 12 10:10:33 2000 > > Dovoluji si upozornit, ze Goedelova veta o neuplnosti (matematicky > > dokazana!) > > vynucuje viru, pokud chceme pracovat s logickym operatorem ekvivalence - > > tedy srovnavat neco s necim. > > Ufff?! A tohle jsi myslel jak? Strucne preformulovano: Pokud pouzivame jazyk 3. radu (? - proste ten, kde je ekvivalence), tak v libovolne teorii existuje dokazatelne tvrzeni jehoz negace je take dokazatelna. Cili jinymi slovy - jakmile se pouzivas ekvivalenc, tak pri popisu neceho (treba cerveneho trpaslika) bude vzdy existovat tvrzeni, ktere muzes dokazat stejne jako jeho negaci => tudiz se musis rozhodnout, kteremu z nich budes verit => a to povazuji za to vynuceni viry. Bohuzel nemam tedka u sebe zapisky o logice, ale tohle mne docela zaujalo... > snake Bye Medved Si vis pacem, para bellum.