|
|
От
|
tevolga
|
|
|
К
|
Ktulu
|
|
|
Дата
|
04.12.2006 13:58:29
|
|
|
Рубрики
|
Суворов (В.Резун);
|
|
Re: Можно доказать...
>>>Есть доказательство набора аксиом на отсутствие противоречивости,
>>>есть доказательство набора аксиом на минимальность. Доказать
>>>отдельную аксиому нельзя по определению.
>>Я где-то утверждал обратное?
>
>Вы уводите обсуждение в сторону от вопроса, переводя тему на минимальность
>или непротиворечивость.
Я высказываю свою точку зрения. А Вы пытаетесь меня в чем-то уличить:-)
Разве минимальность и непротиворечивость не есть термины формальной математики(с которой я начал)?
>>>Не понятно, с чем вы спорите.
>>
>>А Вы?:-)
>Вот с этим
>" Независимо от Больяи Лобачевский пришел к выводу о недоказуемости 5-го постулата".
Это я утверждал?:-)
>>>Или это гуманитарное образование прёт?
>>Конечно. И гуманитарное:-)
>
>Это заметно.
Вы не заметили союза "и":-)) Наверное у Вас техническое образование?:-)
C уважением к сообществу.