Yablov paradox

da je zadnja izjava inheritno napačna.

Saul Kripke

Saul Kripke argued that whether a sentence is paradoxical or not can depend upon contingent facts.[citation needed] If the only thing Smith says about Jones is

A majority of what Jones says about me is false.

and Jones says only these three things about Smith:

Smith is a big spender.
Smith is soft on crime.
Everything Smith says about me is true.

and Smith really is a big spender but is not soft on crime, then both Smith's remark about Jones and Jones's last remark about Smith are paradoxical.

Kripke proposes a solution in the following manner. If a statement's truth value is ultimately tied up in some evaluable fact about the world, that statement is "grounded". If not, that statement is "ungrounded". Ungrounded statements do not have a truth value. Liar statements and liar-like statements are ungrounded, and therefore have no truth value.

noraguta je 6. jun 2010 ob 11:37 izjavil:

Thomas je 5. jun 2010 ob 19:13 izjavil:

Ja. Elemente arraya čez max index bi morali definirati kot nekakšen "empty" ali nekaj podobnega. Samo v praksi ni časa, da bi se ukvarjali s tem na tak matematičen način. To bi moral pohendlati že programski jezik sam.

načeloma vsaj jaz vidim prekinitev pri overflowu kot , skok na meta teorijo.
Metatheory @ Wikipedia

sicer pa Algebraic data type @ Wikipedia je en dos kujnšten princip, pa še zabavno je programirat (sam sem spisal nekaj kode na ta način v nemerlu. pa moram reči , da ko se z vso muko posloviš od imperativnega razmišljanja stvari postanejo dokaj logične)

seveda pa te reči ne rešujejo problema neodločljivosti.

Thomas je 21. avg 2010 ob 16:06 izjavil:

Ljudje s(m)o precej "paradox tolerant". Žal.

while true i++