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.

Search the boards