2. THE INADEQUACY OF EUCLID'S POSTU

2. THE INADEQUACY OF EUCLID'S POSTULATES
The inadequacy of Euclid's own set of postulates illustrates a point
which is crucial for the axiomatic method in modern mathematics: Once
*
the postulates for a theory have been laid down, every further proposi¬tion of the theory must be proved exclusively by logical deduction from the postulates; any appeal, explicit or implicit, to a feeling of self-evidence, or to the characteristics of geometrical figures, or to our experiences con¬cerning the behavior of rigid bodies in physical space, or the like, is strictly prohibited; such devices may have a heuristic value in guiding our efforts to find a strict proof for a theorem, but the proof itself must con¬tain absolutely no reference to such aids. This is particularly important in geometry, where our so-called intuition of geometrical relationships, sup¬ported by reference to figures or to previous physical experiences, may induce us tacitly to make use of assumptions which are neither formulated in our postulates nor provable by means of them. Consider, for example, the theorem that in a triangle the three medians bisecting the sides inter¬sect in one point which divides each of them in the ratio of 1:2. To prove
this theorem, one shows first that in any triangle ABC (see figure) the
»
line segment MN which connects the centers of AB and AC is parallel to BC and therefore half as long as the latter side. Then the lines BN and CM are drawn, and an examination of the triangles MON and BOC leads to the proof of the theorem. In this procedure, it is usually taken for granted that BN and CM intersect in a point O which lies between B and N as well as between C and M. This assumption is based on geometrical
A


B ^C
intuition, and indeed, it cannot be deduced from Euclid's postulates; to make it strictly demonstrable and independent of any reference to in¬tuition, a special group of postulates has been added to those of Euclid; they are the postulates of order. One of these—to give an example—asserts

Результаты (русский) 1:

2. НЕАДЕКВАТНОСТЬ ПОСТУЛАТОВ ЕВКЛИДАНеадекватность Евклида собственный набор постулатов иллюстрирует точкучто очень важно для Аксиоматический метод в современной математике: один раз*постулаты теории были заложены, все еще proposi¬tion теории должны быть доказаны исключительно путем логической дедукции из постулатов; любой апелляции, явной или неявной, чтобы чувство самоочевидности, или характеристики геометрических фигур, или наш опыт con¬cerning поведение твердых тел в физическом пространстве, или тому подобное, строго запрещены; такие устройства могут иметь эвристическое значение направляя наши усилия, чтобы найти строгое доказательство теоремы, но доказательства, сам должен con¬tain абсолютно никаких ссылок на такие СПИДа. Это особенно важно в геометрии, где наши так называемые интуиция геометрических отношений, sup¬ported по ссылке для фигуры или физический опыт, может побудить нас молчаливо сделать использования предположений, которые не сформулирована в наши постулаты не provable посредством их. Рассмотрим, например, теорема, что в треугольнике трех Медиан, рассекает inter¬sect стороны в одном точки, которая делит каждый из них в соотношении 1:2. Чтобы доказатьэта теорема, одна показывает, сначала что в любом треугольнике ABC (см. рисунок)»отрезок MN, который соединяет центры AB и AC-параллельно до н.э. и поэтому половину как долго как последняя сторона. Затем линии рисуются BN и CM и изучение треугольников Пн и BOC приводит к доказательству теоремы. В этой процедуре это обычно принято должное, что BN и см пересекаются в точке O, которая лежит между B и N а также отношениях между C и M. Это предположение основано на геометрическихA B ^ Cинтуиция и действительно, его нельзя вывести из постулатов Евклида; чтобы сделать его строго очевидном и независимой от любой ссылки на in¬tuition, был добавлен Специальная группа из постулатов в тех Евклида; они являются постулаты порядка. Один из них — чтобы дать пример — утверждает

Результаты (русский) 2:

2. Неадекватность постулатов Евклида
неадекватность собственного набора Евклида постулатов иллюстрирует точку
, которая имеет решающее значение для аксиоматического метода в современной математике: После того, как
*
постулаты для теории были заложены, каждый последующий proposi¬tion теории должны доказать исключительно логического вывода из постулатов; любая апелляция, явно или неявно, к чувству очевидности, или характеристик геометрических фигур, или в нашем опыте con¬cerning поведение твердых тел в физическом пространстве, или, как, строго запрещено; такие устройства могут иметь эвристическую ценность в руководстве наши усилия, чтобы найти строгое доказательство теоремы для, но само по себе доказательство не должно con¬tain абсолютно никакого отношения к таким пособий. Это особенно важно в геометрии, где наша так называемая интуиция геометрических отношений, sup¬ported со ссылкой на фигуры или предыдущих физических опытов, может побудить нас молчаливо использовать предположениях, которые не являются ни сформулированных в наших постулатов, ни доказуемо посредством их. Рассмотрим, например, теорему, что в треугольнике три медианы рассекает стороны inter¬sect в одной точке, которая делит каждый из них в соотношении 1: 2. Чтобы доказать
эту теорему, один показывает сначала, что в любом треугольнике ABC (см рисунок)
»
отрезок MN, который соединяет центры AB и AC параллельно до нашей эры и поэтому половина тех пор, как последний стороны. Тогда прямые BN и CM нарисованы, и экспертиза треугольников BOC пн и приводит к доказательству теоремы. В этой процедуре, как правило, само собой разумеющимся, что Б.Н. и СМ пересекаются в точке O, которая лежит между B и N, а также между С и М. Это предположение основано на геометрической B ^ C интуиции, и, действительно, он не может быть выведены из постулатов Евклида; чтобы сделать его строго доказана и не зависит от каких-либо ссылок на in¬tuition, специальная группа постулатов была добавлена ​​Евклида; они являются постулаты порядке. Один из них-дать пример-утверждает

Результаты (русский) 3:

2. На недостаточность ЕВКЛИД, постулаты
неадекватность Евклид собственный набор постулатов показывает точку
которого имеет решающее значение для аксиоматический метод в современной математики: Once
*
постулатов для теории были установлены, все еще proposi¬ния теории должно быть доказано исключительно логический от постулатов; любой апелляции, прямо или косвенно,Чувство на доказательства, или для характеристики геометрические данные, или в наш опыт con упущенную выгоду в поведение жесткая органов в физическом пространстве, или хотел бы, строго запрещено; такие устройства могут иметь эвристическое значение в руководящих наши усилия, направленные на поиск строгим доказательством того, что теорема, но чтобы доказать сам должен con¬убедившись абсолютно нет никакой ссылки на такие СПИД.Это особенно важно в геометрии, где наша так называемая "неосторожным геометрические отношения, sup¬держивается со ссылкой на данные или к предыдущей физической опытом, может побудить нас молчаливо использовать тезисы, которые не являются ни сформулировано в нашей постулаты и не доказуемая посредством их. Рассмотрим, например,Аннотация: Доказана теорема, в треугольнике трех верхних слоях почвы пересечение линий с обеих сторон в¬секты в одной точке, которая делит каждого из них в соотношении 1:2. Доказать
этой теоремы, один показывает во-первых, то, что в любой треугольник ABC (см. рисунок)
"
сегмент линии MN, соединяет центров AB и AC параллельно BC и следовательно, на половину, если последняя сторона. Затем линии BN и см,и анализ треугольников ПН и BOC ведет в доказательство теоремы. В этой процедуре, то это обычно как само собой разумеющееся BN и см пересекаются в точке O, расположенный между B и N, а также между C и M. это предположение основывается на геометрические
A
ветровому B
C
интуиции, и более того, она и не может быть выведено из геометрической постулатов;Чтобы строго доказуемых и независимо от каких-либо ссылок на в¬платы за обучение, специальная группа экспертов была добавлена к Евклид; они являются постулаты. Один из них, например, утверждает