03/29/9

Janet Shields – May Her Memory Be a Blessing

03/29/09

UltraLibrarry

JTS.DS.1

SoC

Minimal

SETL in Python

Cocke/Allen in SETL

Rsync in SETL

*math* theorem proving in SETL

Gift of Name

Jimmie Lewis, Adrian, Adam

Harold David, Davidson, Ted Leung

Michael Strassman, Bob Gezelter

Stories

Martin Davis – Dave’s class

Martin Davis at the keypunch-

Match Davic -Goedel, Einstein, Bach

Powers of Jack

Brilliant

As good as von Neumann

Litski’s Theorem

Generous

Modest Judith’s quote

on Charactger – teenage pledge