| Those obsessions always end in failure because they lack political logic and economic sense and because justice and arithmetics are not and never will be synonymous. | Эти навязчивые идеи всегда заканчиваются провалом, поскольку они страдают отсутствием политической логики и экономического чутья и поскольку справедливость и арифметика не были и никогда не будут синонимами. |
| His interests include asymptotically fast arithmetic-he wrote a book on algorithms for computer arithmetic with Richard Brent. | Среди его научных интересов асимптотически быстрая арифметика, автор книги по алгоритмам компьютерной арифметики в соавторстве с Ричардом Брентом. |
| Arithmetic is then derivable in second-order logic from Hume's principle. | Арифметика, таким образом, может быть выведена в логике второго порядка из принципа Юма. |
| The first person to really explain that was Thomas Hobbes, who, in 1651, explained how arithmetic and logic are the same thing, and if you want to do artificial thinking and artificial logic, you can do it all with arithmetic. | Первым, кто это объяснил, был Томас Хоббс, который в 1651-м году показал, что арифметика и логика - суть одно и то же, и что если вы хотите создать искусственное мышление и логику, вы можете всё это делать с помощью арифметики. |
| [Eva] That's because my arithmetic is so... | Это потому что моя арифметика... |