Status |
Date |
Description |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2014-04-04 |
n010207d: I need
to be clear about level of detail and also level of expertise. |
|
2014-04-04 |
n010207d: Make
purple numbers of the section numberings in this page. |
|
2014-04-04 |
I'm not certain
the idea of impredicativity needs to be brought in here, although it is
certainly relevant from a computational perspective. |
|
2014-04-04 |
So we will be
specific about effective procedure with respect to Miser and will allow
that there are undertakings that look at higher-level forms of
algorithms. These will be touched-on, if necessary, as a separate
topic, here or under Astraendo, and cross-connected. |
|
2014-04-04 |
This is here in
notes, and not astraendo, because it is important to have a clear
definition of algorithm in developing the computational/algorithmic
aspects of the Miser formulation and the way that Church-Turing is
aligned in the case of <ob>. |
|
2014-04-03 |
n010207d: Start
this page as the next version beyond n010207c 0.02, where the topic is
boiled down to cover the material suggested in the cover page. |
done |
2014-04-03 |
n010207: Customize as a folio title page, version 0.02 |
done |
2014-04-03 |
n010207c: Create a revision progression block |
done |
2014-04-03 |
n010207c: Customize as a folio page, version 0.02 |
done |
2014-04-03 |
Customize n010207a and n010207b for the new location,
styles, and formatting |
done |
2014-04-03 |
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.
|
|