Wittgenstein,Turing,Godel,Keynes,einstein,John von Neumann,Freeman John Dyson,Bertrand Arthur William Russell

• 自然言語
• 数学入力