Follow

A 1954 PhD thesis on compilers, translated to English: itu.dk/people/sestoft/boehmthe
Via twitter.com/miltonlopez_/statu
Interesting that Paul Bernays was a supervisor. Bernays did much of the mathematical-logic work we commonly think of as Hilbert's. (It was said where I read this that this was a common pattern in German academics of the day.)

· · Web · 0 · 0 · 0
Sign in to participate in the conversation
Maly

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!