Можно ли доверять компьютерам?

[funca]

Название, означающее на иврите «три Б один», отсылает к AT&T 3B1, первой версии Эхада.

3В1 это «три в одном».

[MnogoBukv]

«3 Become 1», не совсем ясно, откуда иврит тут, правда.

[mva]

От знания его применяющим? :)

[Jetmanman]

Я хотел бы, что бы обычные утверждения людей, которые каждый отстаивает можно было бы проверить на истинность, правильность компьтерным методом основанной на строгой логике. Это было бы полезно в определении кто прав в споре или правильная ли статья с точки зрения логики. Конечно логика это операции над фактами или какими-то исходными понятиями и нужно так же знать насколько истинны факты и понятия используемые в методе оперируемой компьютером, но это бы решило бы сразу кто прав, кто ошибается, а кто просто несет бессмысленную чушь или хитро использует принципы демагога. И статьи бы оценивались не на основе личного мнения людей, а подобным методом. При не возможности определения истинности оперируемых фактов или понятий, проверять хотя бы на непротиворечивость самих утверждений.

[funca]

Индейцы Аймара определяли несколько категорий достоверности в высказываниях: «потому, что сам видел», «потому, что услышал от других» и «потому, что додумался логически».
Логические выводы, вообще говоря, не обязаны совпадать с действительностью — все зависит от конкретной интерпретации. Логика это формальная система, которая может обладать некоторой предсказательной силой, но все же не истина в последней инстанции.

[Jetmanman]

Ваше утверждение истинно или ложно? Как можно опровергать логику используя логику?

[amarao]

Я ни разу не видел программной реализации математической идеи. Вот у нас есть, допустим, натуральное число. Компьютер, поскрипев, выдаёт нам безразмерный int.

А дальше математик говорит: устремим N к бесконечности.

И всё, абстракция числа упирается в лимит по гигабайтам.

[VoidEx]

И как же люди орудуют бесконечностями на конечной бумаге? И что мешает делать то же на компьютере?

[Zorohastres]

Очень интересная статья, спасибо, побольше бы такого! Было бы очень интересно побольше узнать о «теории типов».

[Qrsk]

Интересная статья

[Olorin111]

С таким-же успехом можно сделать соавтором своей работы обычную шариковую ручку. Она тоже отлично справляется со своей функцией. Нет интеллекта? Да в отношении формальной логики с этим как бы вообще все не очень просто. Например вот здесь. Или в частности вот тут. Вот когда Константу Хайтина можно будет надежно поюзать, скажем, для доказательства гипотезы Гольдбаха, тогда и поговорим.

[Elly_ah]

Походит на Великую индустриальную революцию, но с меньшим размахом: вместо того, чтобы исправлять свои ошибки в коде, будем ругать код.