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 proposition 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 contain 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 intersect 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


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

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

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

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

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