| Status |
Date |
Description |
| |
|
|
| |
|
|
| |
|
|
|
done |
2019-11-24 |
Review this job-jar for items I no longer need |
done
2019-11-24 |
2014-04-02 |
I was leafing
through Church Calculi of Lambda-Conversion and noticing that he
was proposing the simply-typed lambda calculus but hadn't narrowed in on
it completely. In proving the representation of combinators, I
establish that, given a particular representation, it preserved the
combinator interpretation of those arguments it is applied to that
represent combinators. This continues indefinitely by
demonstrating a representation for cK and cS, the substitution
combinator. We use Rosenbloom for this part. Note that we
don't have to get into lambda-definability at this stage. The next
thing to show is that when a combinator is given procedures on simple
types (namely, procedures over Ob), those interpretations are also
preserved. That is the rules of type work out. So every
combinator, including S and K, is an interpretation-preserving operation
on Ob procedures, where the interpretation is f:Ob->Ob. This is a
step toward the universality of ob.ap for <ob>. Not all the
dots are connected, but this is part of the program to be followed.
[dh:2019-11-24 This is completely resolved at <https://github.com/orcmid/miser/blob/master/oMiser/combinators.txt>. |
done
2019-11-24 |
2014-03-28 |
I am musing about
computational manifestation and also how the primitives on ob structure
are not combinators, especially ob.a, ob.b that operate at the Ob
structural level not in any sensible combinator level. The ob.c,
ob.d, and ob.self and ob.arg special forms are not amenable to
interpretation as combinators. The nature of ob.e as quotation does
provide a direct interpretation, but there are still interpretation
issues concerning the operand. There is some sort of breach of
type here, and that needs to be dealt with. Not every ob.ap(proc,
x) has interpretation as a combinator given by the interpretation of
proc. [dh:2019-11-24 the representation of combinators and the
misunderstanding about procs that are not combinators is handled at <https://github.com/orcmid/miser/blob/master/oMiser/combinators.txt> |
done
2019-11-24
|
2014-03-28 |
Manifestation and
the appearance of platonic existence needs to be added.
[dh:2019-11-24 This is now handled with manifestation and ontological
commitment. It will be explained further with regard to apparent
behavior behind interfaces.] |
|
done |
2019-11-24 |
Cross-link with the GitHub docs/synopsis/ page.
Change the title too |
|
done |
2019-11-24 |
Correct the version-progression links in the
n0111101c.htm header. |
|
done |
2014-03-28 |
Share 2001/11/ to the hosted-site mirror |
|
done |
2014-03-28 |
Have the synopsis.htm tied to n011101b. |
|
done |
2014-03-28 |
n011101d:
Customize as version 0.02 and the questions from band |
|
done |
2014-03-28 |
n011101: Customize as a folio title page, version 0.02 |
|
done |
2014-03-28 |
n011101c: Create a revision history block that will lead
to n021000e when it is different enough. |
|
done |
2014-03-28 |
n011101c: Customize as a folio page, version 0.02 |
|
done |
2014-03-28 |
Customize n011101a and n011101b for the new location,
styles, and formatting |
|
done |
2014-03-28 |
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.
|
|
