programmer and math philosopher.