От tevolga
К Ktulu
Дата 04.12.2006 12:56:29
Рубрики Суворов (В.Резун);

Re: Можно доказать...

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

Не совсем так.

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

C уважением к сообществу.
От Ktulu
К tevolga (04.12.2006 12:56:29)
Дата 04.12.2006 13:15:20

Re: Можно доказать...

>>Т.е. доказать, что в наборе аксиом ни одна не следует из
>>произвольного набора других. Доказать аксиому нельзя по определению.
>
>Не совсем так.

>Берется набор высказываний(удовлетворяющих определенным правилам) и постулируется их аксиоматичность. Далее доказывается что ни одна из них не следует из другой, и что они не приводят к противоречивым выводам.

Есть доказательство набора аксиом на отсутствие противоречивости,
есть доказательство набора аксиом на минимальность. Доказать
отдельную аксиому нельзя по определению. Не понятно, с чем вы спорите.
Или это гуманитарное образование прёт?

>C уважением к сообществу.

--
Алексей
От tevolga
К Ktulu (04.12.2006 13:15:20)
Дата 04.12.2006 13:23:19

Re: Можно доказать...


>Есть доказательство набора аксиом на отсутствие противоречивости,
>есть доказательство набора аксиом на минимальность. Доказать
>отдельную аксиому нельзя по определению.

Я где-то утверждал обратное?

>Не понятно, с чем вы спорите.

А Вы?:-)

>Или это гуманитарное образование прёт?

Конечно. И гуманитарное:-)

C уважением к сообществу.
От Ktulu
К tevolga (04.12.2006 13:23:19)
Дата 04.12.2006 13:38:35

Re: Можно доказать...


>>Есть доказательство набора аксиом на отсутствие противоречивости,
>>есть доказательство набора аксиом на минимальность. Доказать
>>отдельную аксиому нельзя по определению.
>Я где-то утверждал обратное?

Вы уводите обсуждение в сторону от вопроса, переводя тему на минимальность
или непротиворечивость.

>>Не понятно, с чем вы спорите.
>
>А Вы?:-)
Вот с этим
" Независимо от Больяи Лобачевский пришел к выводу о недоказуемости 5-го постулата".



>>Или это гуманитарное образование прёт?
>Конечно. И гуманитарное:-)

Это заметно.

>C уважением к сообществу.

--
Алексей
От tevolga
К Ktulu (04.12.2006 13:38:35)
Дата 04.12.2006 13:58:29

Re: Можно доказать...


>>>Есть доказательство набора аксиом на отсутствие противоречивости,
>>>есть доказательство набора аксиом на минимальность. Доказать
>>>отдельную аксиому нельзя по определению.
>>Я где-то утверждал обратное?
>
>Вы уводите обсуждение в сторону от вопроса, переводя тему на минимальность
>или непротиворечивость.

Я высказываю свою точку зрения. А Вы пытаетесь меня в чем-то уличить:-)
Разве минимальность и непротиворечивость не есть термины формальной математики(с которой я начал)?

>>>Не понятно, с чем вы спорите.
>>
>>А Вы?:-)
>Вот с этим
>" Независимо от Больяи Лобачевский пришел к выводу о недоказуемости 5-го постулата".

Это я утверждал?:-)

>>>Или это гуманитарное образование прёт?
>>Конечно. И гуманитарное:-)
>
>Это заметно.

Вы не заметили союза "и":-)) Наверное у Вас техническое образование?:-)

C уважением к сообществу.