Я рад узнать, что Principia Mathematica теперь может быть сделана машиной. Полем Полем Я вполне готов поверить, что все в дедуктивной логике может быть сделано машины.