теорема

"Единая гипотеза" или "последняя теорема Ферма".

'One can conjecture' or 'Fermat's last theorem'.

На первый взгляд, теорема выглядит вполне убедительной...

At first blush, the theorem appears quite convincing.

По математике - тригонометрия, теорема Пифагора, теорема Фалеса...

Well, in mathematics... Trigonometry. Pythagoras' theorem, Thales' theorem.

Сложная теорема напоминает симфонию.

A difficult theorem could be like a symphony.

Что ж, это интересная теорема, но... она не выдерживает принципов рационального мышления.

Well, it's an interesting theorem, but... It fails the most basic tenet of rational thinking.

Иногда мне кажется, что Мартин любил свои теоремы и эксперименты больше, чем меня.

I sometimes think martin loved his theorems and experiments More than he did me.

И он занимался разработкой основных теорем исчисления, подходя к вопросу с крайней строгостью.

And was concerned with developing the basic theorems of the calculus as rigorously as possible.

Теперь, что касается теорем Эйлера-Лагранжа?

Now, what about Euler-Lagrange theorems?

И сделай это в соответствии с теми геометрическими теоремами, хорошо?

And, um, keep it up with those geometry theorems, all right?

Проверь меня с теоремами.

Test me on the theorems.

"О теореме бинома у меня множество новостей, с кучей весёлых фактов о квадрате гипотенузы."

"About binomial theorem, I am teeming with a lot o' news, with many cheerful facts about the square of the hypotenuse."

Стивен, Джейн рассказала мне о вашей прекрасной теореме... которая доказывает, что у Вселенной есть начало.

Stephen, Jane was telling me that you have a beautiful, theorem. That proves that the universe, had a beginning.

- Кто доказал теорему?

- Who proved the theorem.

В 1931 году он опубликовал теорему, известную как Теорема Гёделя о неполноте, и, в общих чертах, в ней говориться, что нет такой формальной системы логики, которая бы была самодостаточной, которая могла бы доказать любое возможное утверждение в пределах этой системы.

In 1931, he published this theorem called the incompleteness theorem, and what he basically says is there is no such thing as a formal system of logic that is self-contained, that is that can prove every possible assertion within that system.

Дорогой Клайд, опиши свою теорему обратного преобразования

Sweet Clyde, characterize your inversion theorem.