 |
The
Miser Project
|
|
The
Miser Project
|
Last updated 2006-06-08-20:57 -0700 (pdt)
These are all of the Miser Project Notes identified and/or compiled since January 1, 2000.
Shaded entries are for notes that have been initiated. The hyperlinks in the note identifiers and titles access the note.
Unshaded entries are for notes that have been identified and may have been discussed, but no material has been consolidated into note form, so far.
If you are offering contributions/comments to any of these Notes, you want to suggest new ones, or you request progress on particular ones, send a note to orcmid. Offers to supply Notes content or advance the discussion through e-mail are given the warmest reception of all.
|
ID |
ABOUT | STATUS | CREATED | Summary Title |
| N021001 | Theory | 0.00 2002-10-27 | 2002-10-25 | Self-Reference in ‹ob› |
| N021000 | oMiser | 0.00 2002-10-27 | 2002-10-18 | The Well-Definedness Bind |
| N020701 | Foundations | 0.10 2002-07-25 | 2002-07-25 | Embracing the Transfinite |
| N020700 | Miser on the Web | 0.10 2002-07-03 |
2002-07-03 |
Managing Miser-theory.info
|
| N020600 | oMiser | 0.10 2002-07-17 | 2002-07-03 | oMiser Sketch |
| N020300 | Miser | 0.10 2002-03-09 |
2002-03-09 | Evolution of Ob Structure |
| N011202 | Computational Logic | tbd | 2001-12-08 | Hidden Assumptions in Witzel's Selectors |
| N011201 | Computational Logic | tbd | 2001-12-08 | How cond is not propositional (when it is computational) |
| N011200 | Computational Logic | tbd | 2001-12-08 | Logical Completeness of cond forms as propositions |
| N011101 | Miser Synopsis | 0.10 2002-03-03 | 2001-11-29 | Refining the Miser Synopsis Concepts |
| N011100 | Foundations | tbd | 2001-11-14 | The Church/Turing Thesis: What It Says, What We Make of It |
| N010800 | Theory | tbd | 2001-08-11 | Computational Interpretations of Predicative Sets |
| N010207 | Miser | DRAFT 0.00 | 2001-02-23 | What's An Algorithm? |
| N010206 | Miser | tbd | 2001-02-23 | Terminology: Models, Objects, and Abstractions |
| N010205 | Miser | 0.10 2006-06-08 | 2001-02-23 | Programs Are Rarely Algorithms |
| N010204 | Miser | DRAFT 0.00 | 2001-02-23 | Framework versus Structure |
| N010203 | Miser | tbd | 2001-02-23 | Who Can You Trust? |
| N010202 | Miser | DRAFT 0.00 | 2001-02-23 | Homage to the Bit |
| N010201 | Miser | draft 0.10 | 2001-03-10 | Manifest Abstractions |
| N010200 | Miser | tbd | 2001-02-23 | Identity and Individuals |
| N001200 | Manifesting Obs | tbd | 2000-12-12 | Determined Obs and Exception Behavior |
| N001100 | Miser Theory | draft 0.20 | 2002-02-25 | Computational Notions of Truth |
| N001000 | Miser Theory | draft 0.10 | 2000-10-06 | Miser as Theoretical Model |
| N000901 | oMiser Model | tbd | 2000-09-02 | Distributed Identity for Ob Manifestations |
| N000900 | Notation | tbd | 2000-09-02 | Applicative Notation: Right the First Time, Alonzo |
created 2000-09-02-13:53 -0700 (pd) by orcmid
$$Author: Orcmid $
$$Date: 06-06-08 20:57 $
$$Revision: 26 $