Talk:Upcoming ERB suggestions/@comment-24110469-20131229041531

Can someone add Carl Gauss vs David Hilbert? Please?