Richard's musing and rants

This page is in lieu of a blog - unfortunely there is no facility for you to respond.

Responses

• Snowden

Basic Themes

These topics are some of my observations about social issues

• Greed - Rich vs Unions
• Generosity
• Universal College Education?
• Encyclopedias - NOT
• Christianity
• Quakers
• Edu by twitter
• Games by Twitter
• WOW and video games

Technical Issues

These topics are some of my observations about various technical issues

• Theory vs Things
• Yahoo, Google, Facebook as system
• Computational Complexity is a myth
• Intuitionism
• Google vs Internet Archive
• Tinker Toys
• Actors (and Actresses)
• Canonical Names - namespaces
• stuff(data strutures) vs descriptions(theories)
  I see no WFFs here (paraphrasing Prawitz and 'Colossal Cave')
• Conservative Extensions
• Many logics - model, temporal, higher order, ...
• Restricted Quantification id the default
• two if's? nothing wrong with mutual recursion.
  the opposite of reductionism ...
• blueprint vs. implementationtowers of meta theory
• paramatrization of types
• the S-M-N theorem
• 1st order + context NOT hidger order
• Reflection rules (trivially sound) vs
  Reflction sentenses (problematic)
• precision vs recall
• information Theoretic vs Set theoretic

Amusing Issues

• Solyndra