Формализм, интерпретации, ИИ и когнитивный кошмар.

Возьмем синтаксически правильное предложение, например: «По улице идет человек». Имеет ли оно истинностное значение? ( Read more... )

Контраргумент Пенроузу.

Р.Пенроуз придерживается взгляда на принципиальную неалгоритмичность основ работы мышления. Одним из аргументов в пользу такой точки зрения является принципиальная невычислимость ряда математических задач, с которыми наше мышление, тем не менее, может как-то справиться (например, покрытие плоскости плитками полиомино).

( Read more... )