cwbe coordinatez:
101
63533
635429
21798
2688693
2717309

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::1
show[ 2 | 3] flat
Nespada do oblasti formalnej logiky - samoreferencia, veta nemoze hovorit o vlastnej pravdivosti.




00000101000635330063542900021798026886930271730905040399
toxygen
 toxygen      30.11.2009 - 00:18:11 , level: 1, 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: 2, 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)