求翻译：prehistory of the human race, and culminates in the dramatic solution in 1988 of a problem posed in 1925 by the mathematical logician Alfred Tarski. He asked是什么意思？