Notes

This note is called: [NOTES]
The notations used in this note is described in [NOTATION]

Collectively these notes discuss issues that interest me and give concrete examples that explain and 'solve' a wide selection of problems related to NLP, AI, cognition and philosophy. These notes have been given symbolic names that are used to reference each other.

These are 'living documents' and change regularly. If I'm awake I try to put dates on them. Notes without dates are either preliminary or still under review. All notes share the same notational conventions [NOTATION].

General Remarks and My Philosophy
        [FOUNDATIONS] an essay

IBUKI code set and Documentation
        [NOTATION] shared by all IBUKI (and RWW) docs
        [CALLING-EMACS]

Building a Thinker
        [OVERVIEW]
        [FINITIST]
        [WHY-LISP]
        [CREATING-SUBJECT]
        [MENTAL-ARITHMETIC]
        [CONVERSATION]
        [FINITE-HEADS] Heads are finite
        [AUTONOMOUS] An Autonomous Thinker
        [BEFORE-AFTER] Before and After
        [READING-AND-SPEAKING]
        [COVERAGE]
        [COG-INFRA] Cognative Infrastructure (a head)

NEWFOL Contexts
        [LANGUAGE]
        [SORTS] Sorting out Sorts
        [SIMULATION-STRUCTURE]
        [FACTS]
        [SATvsVAL] Satisfiability vs Validity
        [FOCUS] Elementary vs Non-elementary - the Smn Theorem
        [IDK] I don't know
        [MATH-HOMEWORK] Handing in Math Homework

Types of [object]s
        [ABSTRACT-SYNTAX]
        [TYPES]
        [THEORY-OF-TYPES]
        [MENTAL-LEXICON]
        [INFO-THEORY] Information Theoretic NOT Set Theoretic
        [NUMBERS]
        [ARGSvsVALS]

General Info about [object]s
        [KINGDOMS IN CRISIS]
        [CLAUDISTICS]
        [PREDICABLES]

Computation
        [LISP]

Main Contexts
        [ARITHMETIC] the context
        Axiom Systems
                [GBN]
                [ZF]
                [KELLY-MORSE]
                [PEANO-ARITHMETIC]

Use Cases
        [WRISTWATCH] reasonimg about time
        [MS/ES] Morning Star/Evening Star

What is Language
        [MEANING]
        [DIALOG]
        [SALT] Please pass the salt
        [DEFINATE-DESC] Definate Descriptions
        [DE-RE/DE-DICTO] de re vs de dicto
        [MENTIONING-NUMBERS]
        [SLITHY-TOVE] What is a 'slithy tove'?

System Building
        [WHAT-IS-A-COMPUTER] an essay
        [IBUKI-DATA]
        [SYMBOL] about [symbol]s
        [REPRESENTATION] Representing basic dats
        [REPRESENTATION] Representing basic dats
        [MUTABLE]
        [UPDATING]

Philosophy
        [WHAT-IS-A-NUMBER] an essay
        [ON-DENOTING]
        [HUMES-PRINCIPLE] about [symbol]s
        You cannot step into the same [RIVER] twice

Paradoxes
        [PARADOX] an essay
        [RUSSELLS-PARADOX]

Puzzles
        [MISSIONARIES-AND-CANNIBALS]
        [S and P]

Miscellaneous History
        [LCF]
        [LCF-REFERENCES]

Works
        something vs 'some thing'
        vindaloo

RWW Writing
        Problemata
        Mental Language
        The Building of Mind
        The History of Thought
        Quotes

---