The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



"Обход искусственной привязки  аккумуляторов в ноутбуках Lenovo"
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Подсказка: Для контроля за появлением новых сообщений - перед выходом жмите "Пометить прочитанным".
. "Обход искусственной привязки  аккумуляторов в ноутбуках Leno..." +1 +/
Сообщение от myhand (ok), 14-Фев-16, 18:06 
>> Дык, вторая теорема Гёделя.  Отправляет вашу "самонепротиворечивость" (ц) в далекое пешее.
> Я так и думал. Тёплое с мягким.

Оно еще и думает, спешите видеть.

> Вторая теорема Гёделя не доказывает существование доказательства противоречивости, она
> доказывает несуществование доказательства непротиворечивости. Почувствуйте разницу.

Ну вот и хвилософское мнение, я ж предсказывал.  Как по нотам, скушный вы.

Вторая теорема утверждает, что если формальная арифметика непротиворечива, то в ней невыводима некоторая формула, содержательно утверждающая непротиворечивость этой арифметики.

Иными словами, в "самонепротиворечивость" (ц) вы можете сколько угодно верить, но не
сможете ее доказать (а значит - другим на вашу веру целиком начхать) в рамках вашей
аксиоматической системы (если она достаточно сложная, ну вот как арифметика).  Так что
приставка "само" - горько плачет о безграмотности хвилософа Ordu...

Ответить | Правка | Наверх | Cообщить модератору

Оглавление
Обход искусственной привязки  аккумуляторов в ноутбуках Lenovo, opennews, 14-Фев-16, 10:00  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру