Lob

Lob

Löb Martin Hugo (Berlino 1921 - Annen 2006) matematico tedesco. Figura centrale per i suoi lavori in logica matematica: di lui è noto il → paradosso che porta il suo nome. Cresciuto a Berlino, fuggì nel Regno Unito all’avvento del nazismo, ma in quanto cittadino di una potenza nemica fu deportato in un campo di internamento in Australia. Nel 1943 gli fu permesso di tornare nel Regno Unito; qui si iscrisse all’università di Londra e, successivamente, conseguì il dottorato all’università di Leeds, presso la quale fu assistente dal 1951. Nei primi anni Settanta divenne professore all’università di Amsterdam, dove rimase fino al pensionamento. Le sue ricerche spaziano dalla teoria della dimostrazione alla logica modale, alla teoria della computabilità.