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] .

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

Building a thinker
------------------
  [OVERVIEW]
  [FINITIST] A Finitist Understanding of Thought
  [WHY-LISP] Why Lisp
  [CREATING-SUBJECT] The Creating Subject
  [MENTAL-ARITHMETIC]
  [CONVERSATION] About Conversations
  [FINITE-HEADS] Heads are Finite
  [AUTONOMOUS] An Autonomous Thinker
  [BEFORE-AFTER] Before and after
  [READING-AND-SPEAKING] Reading and Speaking
  [COVERAGE]
  [COG-INFRA] Cognative Infrastructure (a head)

FOL Contexts
============  
  [LANGUAGE]
    [SORTS] Sorting out Sorts
  [SIMULATION-STRUCTURE]
  [FACTS]
  [SATvsVAL] Satisfiability vs validity
  [FOCUS] elementary vs non-elementary
  [IDK]I don't know
  [MATH-HOMEWORK] Handing in Math Homework

 
Objects/Types
=============
  [TYPES]
  [THEORY-OF-TYPES]
  [MENTAL-LEXICON]
  [INFO-THEORY] Information Theoretic NOT Set Theoretic
  [NUMBERS]
  [ARGSvsVALS]


Computation
===========
  [LISP]

Main Contexts
=============
  [ARITHMETIC] the context
  Axions Systemss
    [GBN]
    (ZF]
    [KELLEY-MORSE]
    {PEANO-ARITHMETIC]

Use cases
=========
  [WRISTWATCH] reasoning about time
  [MS/ES] Morning Star/Evening Star

NLP
===
  [MEANING]
  [DIALOG]
  [SALT] Please pass the salt
  {DEFINITE-DESC] Definite descriptions
  [DE-RE/DE-DICTO] de re vs de dicto
  [FOCUS] elementary vs non-elementary
  [MENTIONING-NUMBERS]
  [SLITHY-TOVE] What is a 'slithy-tove'?

System Building
---------------
  [WHAT-IS-A-COMPUTER] an essay
  [IBUKI-DATA]
    [SYMBOL] About [symbol]s
  [REPRESENTATIONS] Representing Basic Data
  [MUTABLE] Mutable Data
  [UPDATING]

General Philosophy
------------------
  [WHAT-IS-A-NUMBER] an essay
  [ON DENOTING] an essay
  [HUME-PRINCIPLE] Hume's Principle
  You cannot step in the same [RIVER] twice

Paradoxes
=========
  [PARADOX] Paradoxes
  [RUSSELL-PARADOX] Russell's Paradox

Puzzles
=======
  Missionaries and Cannibles
  S and P

Words
=====
  somethig vs some thing
  vindaloo

RWW writing
-----------
  [PRELIMINARY-NOTES]
  [QUOTES]