Аксиомы
Автор Георгий Хамхадзе задал вопрос в разделе Лингвистика
что такое аксиома и получил лучший ответ
Ответ от Игорь дробинин[гуру]
утверждение, не требущее доказательств
Ответ от МалышАня[новичек]
её не нужно доказывать
её не нужно доказывать
Ответ от OLE4KA[активный]
Положение, принимаемое без логического доказательства в силу непосредств. убедительности.
Положение, принимаемое без логического доказательства в силу непосредств. убедительности.
Ответ от Игорь шумской[новичек]
Аксио́ма, постула́т — исходное, принимаемое без доказательства положение какой-либо теории, лежащее в основе доказательств других ее положений.
Аксиоматиза́ция теории — явное указание конечного или счётного, рекурсивно перечислимого (как, например, в аксиоматике Пеано) набора аксиом и правил вывода. После того как даны названия изучаемым объектам и их основным отношениям, а также аксиомы, которым эти отношения должны подчиняться, всё дальнейшее изложение должно основываться исключительно лишь на этих аксиомах, не опираясь на обычное конкретное значение этих объектов и их отношений. Утверждения на основе аксиом называются теоремами. С формальной точки зрения, сами аксиомы также входят в число теорем.
Примеры различных, но равносильных наборов аксиом можно встретить в математической логике и Евклидовой геометрии.
Набор аксиом называется непротиворечивым, если из аксиом набора, пользуясь правилами логики, нельзя прийти к противоречию, то есть доказать одновременно и некое утверждение, и его отрицание. Аксиомы являются своего рода «точками отсчёта» для построения теорий в любой науке, при этом сами они не доказываются, а выводятся непосредственно из эмпирического наблюдения (опыта) или обосновываются в более глубокой теории.
Австрийский математик Курт Гёдель доказал «теоремы о неполноте» , согласно которым всякая система математических аксиом (формальная система) начиная с определённого уровня сложности либо внутренне противоречива, либо неполна (то есть в достаточно сложных системах найдётся хотя бы одно высказывание, истинность и ложность которого не может быть доказана средствами самой этой системы).
История
Впервые термин «аксиома» встречается у Аристотеля (384—322 до н. э. ) и перешёл в математику от философов Древней Греции. Евклид различает понятия «постулат» и «аксиома» , не объясняя их различия. Со времён Боэция постулаты переводят как требования, аксиомы — как общие понятия. Первоначально слово «аксиома» имело значение «истина, очевидная сама по себе». В разных манускриптах Начал Евклида разбиение утверждений на аксиомы и постулаты различно, не совпадает их порядок. Вероятно переписчики придерживались разных воззрений на различие этих понятий.
Отношение к аксиомам как к неким неизменным самоочевидным истинам сохранялось долгое время. Например, в словаре Даля аксиома — это «очевидность, ясная по себе и бесспорная истина, не требующая доказательств».
Сейчас аксиомы обосновываются не сами по себе, а в качестве необходимых базовых элементов теории. Критерии формирования набора аксиом в рамках конкретной теории часто являются прагматическими: краткость формулировки, удобство манипулирования, минимизация числа исходных понятий и т. п. Такой подход не гарантирует истинность принятых аксиом. Лишь подтверждение теории является одновременно и подтверждение набора её аксиом.
Литература
Аксио́ма, постула́т — исходное, принимаемое без доказательства положение какой-либо теории, лежащее в основе доказательств других ее положений.
Аксиоматиза́ция теории — явное указание конечного или счётного, рекурсивно перечислимого (как, например, в аксиоматике Пеано) набора аксиом и правил вывода. После того как даны названия изучаемым объектам и их основным отношениям, а также аксиомы, которым эти отношения должны подчиняться, всё дальнейшее изложение должно основываться исключительно лишь на этих аксиомах, не опираясь на обычное конкретное значение этих объектов и их отношений. Утверждения на основе аксиом называются теоремами. С формальной точки зрения, сами аксиомы также входят в число теорем.
Примеры различных, но равносильных наборов аксиом можно встретить в математической логике и Евклидовой геометрии.
Набор аксиом называется непротиворечивым, если из аксиом набора, пользуясь правилами логики, нельзя прийти к противоречию, то есть доказать одновременно и некое утверждение, и его отрицание. Аксиомы являются своего рода «точками отсчёта» для построения теорий в любой науке, при этом сами они не доказываются, а выводятся непосредственно из эмпирического наблюдения (опыта) или обосновываются в более глубокой теории.
Австрийский математик Курт Гёдель доказал «теоремы о неполноте» , согласно которым всякая система математических аксиом (формальная система) начиная с определённого уровня сложности либо внутренне противоречива, либо неполна (то есть в достаточно сложных системах найдётся хотя бы одно высказывание, истинность и ложность которого не может быть доказана средствами самой этой системы).
История
Впервые термин «аксиома» встречается у Аристотеля (384—322 до н. э. ) и перешёл в математику от философов Древней Греции. Евклид различает понятия «постулат» и «аксиома» , не объясняя их различия. Со времён Боэция постулаты переводят как требования, аксиомы — как общие понятия. Первоначально слово «аксиома» имело значение «истина, очевидная сама по себе». В разных манускриптах Начал Евклида разбиение утверждений на аксиомы и постулаты различно, не совпадает их порядок. Вероятно переписчики придерживались разных воззрений на различие этих понятий.
Отношение к аксиомам как к неким неизменным самоочевидным истинам сохранялось долгое время. Например, в словаре Даля аксиома — это «очевидность, ясная по себе и бесспорная истина, не требующая доказательств».
Сейчас аксиомы обосновываются не сами по себе, а в качестве необходимых базовых элементов теории. Критерии формирования набора аксиом в рамках конкретной теории часто являются прагматическими: краткость формулировки, удобство манипулирования, минимизация числа исходных понятий и т. п. Такой подход не гарантирует истинность принятых аксиом. Лишь подтверждение теории является одновременно и подтверждение набора её аксиом.
Литература
Ответ от Инженер-констриктор[гуру]
Это положение, принимаемое без доказательств.
Например:
Καὶ ἐὰν εἰς δύο εὐθείας εὐθεῖα ἐμπίπτουσα τὰς ἐντὸς καὶ ἐπὶ τὰ αὐτὰ μέρη γωνίας δύο ὀρθῶν ἐλάσσονας ποιῇ, ἐκβαλλομένας τὰς δύο εὐθείας ἐπ' ἄπειρον συμπίπτειν, ἐφ' ἃ μέρη εἰσὶν αἱ τῶν δύο ὀρθῶν ἐλάσσονες.
Это положение, принимаемое без доказательств.
Например:
Καὶ ἐὰν εἰς δύο εὐθείας εὐθεῖα ἐμπίπτουσα τὰς ἐντὸς καὶ ἐπὶ τὰ αὐτὰ μέρη γωνίας δύο ὀρθῶν ἐλάσσονας ποιῇ, ἐκβαλλομένας τὰς δύο εὐθείας ἐπ' ἄπειρον συμπίπτειν, ἐφ' ἃ μέρη εἰσὶν αἱ τῶν δύο ὀρθῶν ἐλάσσονες.
Ответ от Булат 1[гуру]
Хрен там. Советский энциклопедический словарь - очень уважаемая вещь, но тоже имеет свои рамки применимости во времени.
Аксиома - это просто часть определения. Надо так к понятию "аксиома" относиться:
Если a+b = b+a, то назовём операцию "+" симметричной
Операция "+" симметрична - это аксиома. Просто по определению.
Или другой пример.
Обозначим 1+1 как "2".
Тогда, ясный пень, 2 = 1+1 - это аксиома.
Хрен там. Советский энциклопедический словарь - очень уважаемая вещь, но тоже имеет свои рамки применимости во времени.
Аксиома - это просто часть определения. Надо так к понятию "аксиома" относиться:
Если a+b = b+a, то назовём операцию "+" симметричной
Операция "+" симметрична - это аксиома. Просто по определению.
Или другой пример.
Обозначим 1+1 как "2".
Тогда, ясный пень, 2 = 1+1 - это аксиома.
Ответ от Ольга Юрчак[новичек]
В. Даль Толковый словарь живого великорусского языка
АКСИО?МА ж. греч. очевидность, ясная по себе и бесспорная истина, не требующая доказательств, напр. целое всегда, больше части своей; основная истина, самои?стина, яснои?стина.
В. Даль Толковый словарь живого великорусского языка
АКСИО?МА ж. греч. очевидность, ясная по себе и бесспорная истина, не требующая доказательств, напр. целое всегда, больше части своей; основная истина, самои?стина, яснои?стина.
Ответ от Глеб Юрьев[новичек]
чтоооооооо
чтоооооооо
Ответ от МалышАня[новичек]
её не нужно доказывать
её не нужно доказывать
Ответ от OLE4KA[активный]
Положение, принимаемое без логического доказательства в силу непосредств. убедительности.
Положение, принимаемое без логического доказательства в силу непосредств. убедительности.
Ответ от Игорь шумской[новичек]
Аксио́ма, постула́т — исходное, принимаемое без доказательства положение какой-либо теории, лежащее в основе доказательств других ее положений.
Аксиоматиза́ция теории — явное указание конечного или счётного, рекурсивно перечислимого (как, например, в аксиоматике Пеано) набора аксиом и правил вывода. После того как даны названия изучаемым объектам и их основным отношениям, а также аксиомы, которым эти отношения должны подчиняться, всё дальнейшее изложение должно основываться исключительно лишь на этих аксиомах, не опираясь на обычное конкретное значение этих объектов и их отношений. Утверждения на основе аксиом называются теоремами. С формальной точки зрения, сами аксиомы также входят в число теорем.
Примеры различных, но равносильных наборов аксиом можно встретить в математической логике и Евклидовой геометрии.
Набор аксиом называется непротиворечивым, если из аксиом набора, пользуясь правилами логики, нельзя прийти к противоречию, то есть доказать одновременно и некое утверждение, и его отрицание. Аксиомы являются своего рода «точками отсчёта» для построения теорий в любой науке, при этом сами они не доказываются, а выводятся непосредственно из эмпирического наблюдения (опыта) или обосновываются в более глубокой теории.
Австрийский математик Курт Гёдель доказал «теоремы о неполноте» , согласно которым всякая система математических аксиом (формальная система) начиная с определённого уровня сложности либо внутренне противоречива, либо неполна (то есть в достаточно сложных системах найдётся хотя бы одно высказывание, истинность и ложность которого не может быть доказана средствами самой этой системы).
История
Впервые термин «аксиома» встречается у Аристотеля (384—322 до н. э. ) и перешёл в математику от философов Древней Греции. Евклид различает понятия «постулат» и «аксиома» , не объясняя их различия. Со времён Боэция постулаты переводят как требования, аксиомы — как общие понятия. Первоначально слово «аксиома» имело значение «истина, очевидная сама по себе». В разных манускриптах Начал Евклида разбиение утверждений на аксиомы и постулаты различно, не совпадает их порядок. Вероятно переписчики придерживались разных воззрений на различие этих понятий.
Отношение к аксиомам как к неким неизменным самоочевидным истинам сохранялось долгое время. Например, в словаре Даля аксиома — это «очевидность, ясная по себе и бесспорная истина, не требующая доказательств».
Сейчас аксиомы обосновываются не сами по себе, а в качестве необходимых базовых элементов теории. Критерии формирования набора аксиом в рамках конкретной теории часто являются прагматическими: краткость формулировки, удобство манипулирования, минимизация числа исходных понятий и т. п. Такой подход не гарантирует истинность принятых аксиом. Лишь подтверждение теории является одновременно и подтверждение набора её аксиом.
Литература
Аксио́ма, постула́т — исходное, принимаемое без доказательства положение какой-либо теории, лежащее в основе доказательств других ее положений.
Аксиоматиза́ция теории — явное указание конечного или счётного, рекурсивно перечислимого (как, например, в аксиоматике Пеано) набора аксиом и правил вывода. После того как даны названия изучаемым объектам и их основным отношениям, а также аксиомы, которым эти отношения должны подчиняться, всё дальнейшее изложение должно основываться исключительно лишь на этих аксиомах, не опираясь на обычное конкретное значение этих объектов и их отношений. Утверждения на основе аксиом называются теоремами. С формальной точки зрения, сами аксиомы также входят в число теорем.
Примеры различных, но равносильных наборов аксиом можно встретить в математической логике и Евклидовой геометрии.
Набор аксиом называется непротиворечивым, если из аксиом набора, пользуясь правилами логики, нельзя прийти к противоречию, то есть доказать одновременно и некое утверждение, и его отрицание. Аксиомы являются своего рода «точками отсчёта» для построения теорий в любой науке, при этом сами они не доказываются, а выводятся непосредственно из эмпирического наблюдения (опыта) или обосновываются в более глубокой теории.
Австрийский математик Курт Гёдель доказал «теоремы о неполноте» , согласно которым всякая система математических аксиом (формальная система) начиная с определённого уровня сложности либо внутренне противоречива, либо неполна (то есть в достаточно сложных системах найдётся хотя бы одно высказывание, истинность и ложность которого не может быть доказана средствами самой этой системы).
История
Впервые термин «аксиома» встречается у Аристотеля (384—322 до н. э. ) и перешёл в математику от философов Древней Греции. Евклид различает понятия «постулат» и «аксиома» , не объясняя их различия. Со времён Боэция постулаты переводят как требования, аксиомы — как общие понятия. Первоначально слово «аксиома» имело значение «истина, очевидная сама по себе». В разных манускриптах Начал Евклида разбиение утверждений на аксиомы и постулаты различно, не совпадает их порядок. Вероятно переписчики придерживались разных воззрений на различие этих понятий.
Отношение к аксиомам как к неким неизменным самоочевидным истинам сохранялось долгое время. Например, в словаре Даля аксиома — это «очевидность, ясная по себе и бесспорная истина, не требующая доказательств».
Сейчас аксиомы обосновываются не сами по себе, а в качестве необходимых базовых элементов теории. Критерии формирования набора аксиом в рамках конкретной теории часто являются прагматическими: краткость формулировки, удобство манипулирования, минимизация числа исходных понятий и т. п. Такой подход не гарантирует истинность принятых аксиом. Лишь подтверждение теории является одновременно и подтверждение набора её аксиом.
Литература
Ответ от Инженер-констриктор[гуру]
Это положение, принимаемое без доказательств.
Например:
Καὶ ἐὰν εἰς δύο εὐθείας εὐθεῖα ἐμπίπτουσα τὰς ἐντὸς καὶ ἐπὶ τὰ αὐτὰ μέρη γωνίας δύο ὀρθῶν ἐλάσσονας ποιῇ, ἐκβαλλομένας τὰς δύο εὐθείας ἐπ' ἄπειρον συμπίπτειν, ἐφ' ἃ μέρη εἰσὶν αἱ τῶν δύο ὀρθῶν ἐλάσσονες.
Это положение, принимаемое без доказательств.
Например:
Καὶ ἐὰν εἰς δύο εὐθείας εὐθεῖα ἐμπίπτουσα τὰς ἐντὸς καὶ ἐπὶ τὰ αὐτὰ μέρη γωνίας δύο ὀρθῶν ἐλάσσονας ποιῇ, ἐκβαλλομένας τὰς δύο εὐθείας ἐπ' ἄπειρον συμπίπτειν, ἐφ' ἃ μέρη εἰσὶν αἱ τῶν δύο ὀρθῶν ἐλάσσονες.
Ответ от Булат 1[гуру]
Хрен там. Советский энциклопедический словарь - очень уважаемая вещь, но тоже имеет свои рамки применимости во времени.
Аксиома - это просто часть определения. Надо так к понятию "аксиома" относиться:
Если a+b = b+a, то назовём операцию "+" симметричной
Операция "+" симметрична - это аксиома. Просто по определению.
Или другой пример.
Обозначим 1+1 как "2".
Тогда, ясный пень, 2 = 1+1 - это аксиома.
Хрен там. Советский энциклопедический словарь - очень уважаемая вещь, но тоже имеет свои рамки применимости во времени.
Аксиома - это просто часть определения. Надо так к понятию "аксиома" относиться:
Если a+b = b+a, то назовём операцию "+" симметричной
Операция "+" симметрична - это аксиома. Просто по определению.
Или другой пример.
Обозначим 1+1 как "2".
Тогда, ясный пень, 2 = 1+1 - это аксиома.
Ответ от Ольга Юрчак[новичек]
В. Даль Толковый словарь живого великорусского языка
АКСИО?МА ж. греч. очевидность, ясная по себе и бесспорная истина, не требующая доказательств, напр. целое всегда, больше части своей; основная истина, самои?стина, яснои?стина.
В. Даль Толковый словарь живого великорусского языка
АКСИО?МА ж. греч. очевидность, ясная по себе и бесспорная истина, не требующая доказательств, напр. целое всегда, больше части своей; основная истина, самои?стина, яснои?стина.
Ответ от Глеб Юрьев[новичек]
чтоооооооо
чтоооооооо
Ответ от 22 ответа[гуру]
Привет! Вот подборка тем с похожими вопросами и ответами на Ваш вопрос: что такое аксиома