| Status |
Date |
Description |
| |
|
|
| |
|
|
| |
|
|
| |
|
|
| |
|
|
| |
|
|
| |
|
|
| |
|
|
| |
2006-06-08 |
n001100 : Computational Notions of Truth. This is
on Computational Notions of Truth and deserves some further work.
I just realized that I don't want ob-yes and ob-no, or I need a good
explanation of why I do or don't have them. In the case of ob
equality, there are simply two answers. They are automatically
duals. And this is the only operation in oMiser that returns a
"truth value." So the operation is not really a relationship as
much as it is a comparison. The results of the comparison and the
conditions for the result are clearly defined. This raises an
interesting problem. This could be Astraendo as easily as
Miser-Theory. I think it is Astraendo illustrated by oMiser.
[dh:2014-01-29 There are two levels here. There is the
oMiser notion of truth, and how it is dual-neutral. Then there is
what happens in Frugalese based on which action is the equality
truth-choice. There are some interesting neutral matters there,
that are otherwise fixed between oFrugal and oMiser. Finally,
there is the notion between this and applicative "truth" in possible
Cuch representations and how those are different. This impinges on
propositional truth (representation) and that might or might not be
covered here. None of these are generally about computational
notions of truth. That is an Astraendo topic. It can make
reference of the oMiser case, but it can also speak to other cases,
other languages, and other computational models that have something like
computational truth and falsity.] |
| |
2014-04-17 |
n001100c: The
sections of this notes could be purple-numbered. That might not be
worth the effort, since the material is obsolete. Still ... |
|
done |
2014-04-17 |
n001100: Customize as a folio title page, version 0.21 |
|
done |
2014-04-17 |
n001100c: Create a revision history block.. |
|
done |
2014-04-17 |
n001100c: Customize as a folio page, version 0.21 |
|
done |
2014-04-17 |
Customize n001100a and n001100b for the new location,
styles, and formatting |
|
done |
2014-04-17 |
The Construction and Content Material here was created in
conformance with the style requirements of the
Site Repaving
Project. Check
that folder for additional details of the approach to
correction and upgrade.
|
|
