Principia Mathematica: Ein moderner und aufschlussreicher Klassiker
Principia Mathematica is modern and insightful
Whitehead und Russells Principia Mathematica von 1910 liest sich wie ein modernes Lehrbuch über Programmiersprachen. Es behandelt Themen wie referenzielle Transparenz, Typen und propositionale Funktionen, die den Lambda-Kalkül vorwegnehmen. Das Werk enthält frühe Konzepte von freien und gebundenen Variablen, Alpha-Äquivalenz und deskriptiven Funktionen. Die Autoren zeigen eine intuitionistische Sicht auf Existenz, indem sie betonen, dass Existenzbeweise in der Praxis ein konkretes Beispiel erfordern. Dieses Buch ist ein Muss für alle, die sich für die Grundlagen der Informatik interessieren.
Die Definitionen sind zwar theoretisch überflüssig, aber sie enthalten eine Analyse einer gemeinsamen Idee und können daher einen bemerkenswerten Fortschritt ausdrücken.