cwbe coordinatez:
101
63533
635429
21798
2688693

ABSOLUT
KYBERIA
permissions
you: r,
system: public
net: yes

neurons

stats|by_visit|by_K
source
tiamat
K|my_K|given_K
last
commanders
polls

total descendants::
total children::5
show[ 2 | 3] flat
paradox klamara.
(1)Vsetci kretania su klamari. [povedal kretan]
(2)Vsetci kretania su klamari a to, co hovorim ja, je pravda. [povedal kretan]

paradox holica.
Zil holic ktory mal zasadu ze holil kazdeho v dedine, kto sa neholil sam.
Moze holic oholit sameho seba a neporusit zasadu?

no porozmyslajte..




000001010006353300635429000217980268869303588535
neon
 neon      08.01.2008 - 18:10:06 , level: 1, UP   NEW
Co sa tyka toho holica:
ak poviem ze zjem vsetky marhule co su na stole, neznamena to ze nezjem aj hrusky..

..nespravna formulacia otazky vzhladom na zamer, myslim.

000001010006353300635429000217980268869302778184
klepeta
 klepeta      27.11.2006 - 20:10:03 , level: 1, UP   NEW
a moze holic neoholit sameho seba a neporusit?

00000101000635330063542900021798026886930277818405040426
toxygen
 toxygen      30.11.2009 - 00:33:02 , level: 2, UP   NEW
nie, je to Rusellov paradox, kazdy musi byt oholeny.

iny vyklad:

pises knihu, v ktorej bude zoznam knih, ktore necitovali same seba.

otazka, zapises do tejto knihy aj tu knihu, ktoru prave pises? (ak hej, tak zrazu uz na seba odkazuje a nepatri tam, ak nie, tak na seba neodkazuje a patri tam)

alebo v matematickej reci:
mas mnozinu vsetkych mnozin, ktore neobsahuju same seba.
povedzme mnozina kartezskych sucinov { (1,1), (0,0) } neobsahuje sama seba.
mnozina kartezskych sucinov { (1,1), (0,0), { (1,1), (0,0) } } obsahuje sama seba.

majme mnozinu mnozin, ktore neobsahuju same seba.
pridame do nej vsetky mnoziny, ktore ktore neobsahuju sami seba, ale tym padom by sme do nej mali pridat aj tuto mnozinu, ktoru prave tvorime, pretoze ta neobsahuje samu seba. ale akonahle ju pridame, tak zacne obsahovat sama seba a tym padom tam nepatri.

takze nie, holic sa nemoze neoholit a neporusit pravidla.

000001010006353300635429000217980268869302717312
C
 C      27.10.2006 - 10:38:06 , level: 1, UP   NEW
A ten druhy vychadza z nesplnenia axiomov teorie mnozin.

00000101000635330063542900021798026886930271731205040395
toxygen
 toxygen      30.11.2009 - 00:14:39 , level: 2, UP   NEW
1) ktorej teorie mnozin (je ich viac, tej Cantorovej?)
2) ktorych axiomov konkretne?

0000010100063533006354290002179802688693027173120504039505042795
C
 C      01.12.2009 - 09:52:09 , level: 3, UP   NEW
1) Zermelo-Fraenkel
2) neviem:)

000001010006353300635429000217980268869302717309
C
 C      27.10.2006 - 10:37:24 , level: 1, UP   NEW
Nespada do oblasti formalnej logiky - samoreferencia, veta nemoze hovorit o vlastnej pravdivosti.

00000101000635330063542900021798026886930271730905040399
toxygen
 toxygen      30.11.2009 - 00:18:11 , level: 2, UP   NEW
preco by nemohla?

tato veta je pravdiva vtedy a len vtedy ak je pravdiva. (1)

negacia:

tato veta je pravdiva a zaroven tato veta nie je pravdiva alebo tato veta nie je pravdiva a tato veta je pravdiva. (0)

nebodaj som porusil nieco, ked som spravil vetu so self-reference?

0000010100063533006354290002179802688693027173090504039905042791
C
 C      01.12.2009 - 09:51:30 , level: 3, UP   NEW
minimalne to nie je veta v jazyku prvoradovej logiky, ktory nema prostriedky na vyjadrenie "tato veta", teda by si musel postupit na vyssiu uroven jazyka, aby si mohol hovorit o pravdivosti nejakych viet (sformulovanych v nizsom jazyku)