lehrte seit 1953 an der Hebräischen Universität in Jerusalem; trat, anknüpfend an den Neopositivismus, durch wissenschaftstheoretische und sprachphilosophische Arbeiten zur mathematischen Logik, zur algebraischen Linguistik, zur nicht numerischen Datenverarbeitung sowie zur maschinellen Dokumentation und Sprachübersetzung hervor.