David Gelernter
US-amerikanischer Informatiker