Per Erik Rutger Martin-Löf, född 8 maj 1942 i Jakobs församling, Stockholm, är professor emeritus i matematisk logik vid Stockholms universitet. Han har ett stort internationellt anseende inom konstruktivismens område, främst genom sin konstruktiva typteori.
Martin-Löf är sedan 1990 ledamot av Kungliga Vetenskapsakademien.
Familj Per Martin-Löf är far till dirigenten Cecilia Martin-Löf, till Arkitekten Andreas Martin-Löf och bror till matematikern Anders Martin-Löf och kusin till Sverker Martin-Löf. Rutger Martin-Löf är hans farbror.
Referenser
Per Martin-Löf på Stockholms universitets webbplats
Noter
Kategori:Svenska professorer i matematik Kategori:Personer verksamma vid Stockholms universitet Kategori:Ledamöter av Kungliga Vetenskapsakademien Kategori:Män Kategori:Födda 1942 Kategori:Levande personer Kategori:Alumner från Stockholms universitet Kategori:Professorer vid Naturvetenskapliga forskningsrådet