mathematical logician