|
|
От
|
serge
|
|
|
К
|
Artur
|
|
|
Дата
|
18.11.2005 19:17:47
|
|
|
Рубрики
|
Программа; Семинар;
|
|
Re: Можно и
>Вы же знаете, нет непротиворечивых логических систем, и соответственно нет абсолютно нерпротиворечивых теорий. Наука обречена на непрерывное развитие,для устранение старых проблем и порождение новых. Спасибо Геделю, первому настоящему диалектику :-)
Oбижаете. Нет непротиворечивых полных логических систем. Да и то при условии включения арифметической аксиоматики, если поминать Геделя.
Неполных непротиворечивых - пруд пруди.