Kurt Gãdel (1906-1978) wykonał przełomową pracę, która zmieniła logikę i inne ważne aspekty naszego rozumienia matematyki, zwłaszcza jego dowód niekompletności sformalizowanej arytmetyki. Ta książka na temat różnych aspektów jego pracy i tematów, w których jego idee mają współczesny oddźwięk, zawiera artykuły z sympozjum z okazji stulecia GÃdela w maju 2006 r., a także artykuły z sympozjum z 2004 r. Teoria dowodu, teoria mnogości, filozofia matematyki i redagowanie pism Gãdela należą do omawianych tematów. Kilka rozdziałów omawia jego rozwój intelektualny i jego relacje z poprzednikami i współczesnymi, takimi jak Hilbert Carnap i Herbrand. Inni rozważają jego poglądy na temat usprawiedliwienia w teorii mnogości w świetle nowszych prac i współczesnych echa jego twierdzeń o niezupełności i koncepcji zbiorów konstruowalnych. Język: angielski