Photos

Below you can find some photos related to the AutomathProject.
Click on a photo to get a larger version of that photo.

The photos shows the following members of the Automath project: Prof de Bruijn, Bert Jutting, Roel de Vrijer, Diederik van Daalen, Ids Zandleven, Henriëtte van Helden (typist), Ben Jonker (programmer), Jan van Hoek (programmer).

	Prof. N.G. de Bruijn
The last theorem of Edmund Landau's book 'Grundlagen der Analyses' is entered... From left to right: (probably) Bram Kornaat, Bert Jutting, Ids Zandleven, Roel de Vrijer, prof. de Bruijn
	The last theorem ('Satz 301') of Landau's book explained by Bert Jutting
The situation is tensed, something does not appear to go well... From left to right: Ben Jonker, Bert Jutting, Ids Zandleven, Jan van Hoek, Roel de Vrijer
	The head of the department, Prof. Veltkamp, comes to take a look... From left to right: prof. Veltkamp, in the background the husband of Henriëtte, Bert Jutting, Ids Zandleven, Roel de Vrijer
It appears to be succesful after all. Pressing the enter button and..... From left to right: husband of Henriëtte, Jan van Hoek, Diederik van Daalen, Bert Jutting, Ids Zandleven, Roel de Vrijer, prof de Bruijn
	The print with the proof of the last theorem! Ids Zandleven en Bert Jutting
The spectators... From left to right: Henriëtte van Helden, Yvonne, Carla Zandleven-Boost, husband of Henriëtte.