Miser Project
Notes Catalog
|
|
Miser Project |
|
ID |
ABOUT | STATUS | CREATED | Summary Title |
| N000000 | Miser Notes |
current 2007-05-02 |
2004-01-06 | Notes Diary & Job Jar |
| N000001 | Miser Notes |
current 2007-05-02 |
2000-09-02 | Notes Catalog [this page] |
| 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.11 2007-05-02 | 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.20 2007-05-02 | 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 |
| N000701 | Notation | tbd | 2000-07-18 | Notion for the Miser Project |
|
|
created 2000-09-02-13:53 -0700 (pdt) by orcmid |