Archive

Archive for the ‘Logic’ Category

Incompleteness

Incompleteness Theorems
http://knol.google.com/k/carl/incompleteness-theorems/pcxtp4rx7g1t/28#Historical_development_of_Incompleteness_and_Inconsistency

Common sense for inconsistency robust information integration using Direct Logic(TM) and the Actor Model
http://arxiv.org/abs/0812.4852

The Original ‘Lambda Papers’ by Guy Steele and Gerald Sussman
http://library.readscheme.org/page1.html