Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет haruhi_jew ([info]haruhi_jew)
@ 2018-06-28 18:43:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
применение
Кое-кто спизданул:
"
По харухи наука - это общепринятые догмы и "факты" из книжек.
Короче, не наука это, а говно и талмудизм.
"

https://ru.wikipedia.org/wiki/%D0%9A%D0%BE%D0%BC%D0%B8%D1%81%D1%81%D0%B8%D1%8F_%D0%BF%D0%BE_%D0%B1%D0%BE%D1%80%D1%8C%D0%B1%D0%B5_%D1%81_%D0%BB%D0%B6%D0%B5%D0%BD%D0%B0%D1%83%D0%BA%D0%BE%D0%B9_%D0%B8_%D1%84%D0%B0%D0%BB%D1%8C%D1%81%D0%B8%D1%84%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D0%B5%D0%B9_%D0%BD%D0%B0%D1%83%D1%87%D0%BD%D1%8B%D1%85_%D0%B8%D1%81%D1%81%D0%BB%D0%B5%D0%B4%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B9

Виталий Гинзбург, Нобелевский лауреат по физике 2003 года, дал следующее определение основного предмета критики комиссии:

Лженаука — это всякие построения, научные гипотезы и так далее, которые противоречат твердо установленным научным фактам. Я могу это проиллюстрировать на примере. Вот, например, природа теплоты. Мы сейчас знаем, что теплота — это мера хаотического движения молекул. Но это когда-то не было известно. И были другие теории, в том числе теория теплорода, состоящая в том, что есть какая-то жидкость, которая переливается и переносит тепло. И тогда это не было лженаукой, вот что я хочу подчеркнуть. Но если сейчас к вам придёт человек с теорией теплорода, то это невежда или жулик. Лженаука — это то, что заведомо неверно.


Итак, по вышеприведенному высказыванию академика наука содержит твердо установленные научные факты. А по цитате хуй знает кого, общепринятые догмы и "факты" из книжек = говно и талмудизм.
Таким образом, согласно этому ноунейму академик оказыается говноталмудистом.
А раз так, то говноталмудистом является только сам lookatindivid, что и требуется доказать.


(Читать комментарии) - (Добавить комментарий)


[info]rex_weblen
2018-06-28 21:54 (ссылка)
А как же ошибки в доказательствах?

Каждая математическая теорема основывается на конечном наборе аксиом. Истинность аксиом это отдельная тема: Можно работать в ZFC и иметь неизмеримое множемтво, а можно в других, и доказывать, что все множества на прямой измеримы.

Но эта уже метафизика.

Мне не понятно.

Зачем изучать передоказывать теоремы, которые существуют в замкнутой системы и их доказательства никогда не будут расширены/обобщёны.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]dolmatt
2018-06-28 22:10 (ссылка)
> А как же ошибки в доказательствах?

Человеческий фактор. Проверку доказательств нужно выполнять программно. Полезная ссылка: http://metamath.org

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]rex_weblen
2018-06-29 20:55 (ссылка)
По ссылке очень хорошее.

Я сам уже какое-то время разрабатываю язык для формализации доказательств.

Но многие увжаемые математики, например Миша и [info]sasha_a, относятся к автоматической проверки теорем скептически. Говорят, что многие вещи в серьезной геометрии не формализуешь.

(Ответить) (Уровень выше)


[info]dolmatt
2018-06-28 22:12 (ссылка)
Ещё: https://en.wikipedia.org/wiki/Automated_proof_checking

(Ответить) (Уровень выше)


(Читать комментарии) -