What mathematical logic problem results in 2012?