|
|
На: Вопрос про Редько
Добавлено: 10 авг 12 10:20
|
Автор: NO.
На переднем плане река. Рыбки, утки, лягушки, кувшинки, ракушечник которого Редько обожает.
|
|
Доктор NO про РЕДЬКО В.Г. из НИИ Системных исследований РАН упоминает? В Википедии перечислены несколько Редько, и все какие-то "нетакие".
|
|
|
NO.
Сообщений: 10700 |
 |
|
| На: Об остановке машины Тьюринга
Добавлено: 10 авг 12 10:39
|
На википедии какой-то "набросок доказательства".
Из проблемы остановки вроде как следует существование неких невычислимых задач и что это принципиальная разница между компьютером и мозгом.
|
|
|
NO.
Сообщений: 10700 |
|
|
| На: Вопрос про Редько
Добавлено: 10 авг 12 10:49
|
Автор: Tugodum
Доктор NO про РЕДЬКО В.Г. из НИИ Системных исследований РАН упоминает?
В Википедии перечислены несколько Редько, и все какие-то "нетакие". |
|
http://postnauka.ru/video/1856есть еще программа Гордона про ИИ
|
|
|
| |
NO.
Сообщений: 10700 |
|
|
| На: Об остановке машины Тьюринга
Добавлено: 10 авг 12 11:35
|
Разрешимость немного другое, там просто про доступность результатов и область определения. Сложности со счетным множеством когда его часть тоже нормальное счетное множество, однако чего-то там не хватает. То есть просто есть связность или чего-то отдельно. Или про скрытые комнаты в лабиринте. Может такое быть что в постановке задачи все вроде четко и полно охватили, а дальше никуда. У буддистов есть выражение "застава без ворот", чистое сознание туда легко проникает, а обученное да еще гордящееся этим - не факт.
Великий путь не имеет ворот,
Тысячи дорог ведут к нему.
Тот, кто пройдет через эту заставу,
Будет жить вольно - один в целом мире.
Вот если Тугодум пройдет по нему то встретится и с Гегелем и с Демокритом и с Татталья и Борзини и главами всех пяти семей.
А проблема остановки это что можно узнать о программе не выполняя её.
Это всё вопросы глубины сознания, этапов рефлексии, мета-уровней. Мышление о мышлении.
|
|
|
|
| На: Об остановке машины Тьюринга
Добавлено: 10 авг 12 11:59
|
Математика никакого отношения к мышлению не имеет...  я уже говорил, мышление - это не исчисление, мышление не происходит с помощью языка... Математика - это попытка первобытных людей заменить имитационное моделирование на компьютере, вот и всё... математика закончилась, как и физика... теперь в нормальных странах никто ничего не выводит и экспериментирует - просто имитируют и всё...
|
|
|
NO.
Сообщений: 10700 |
|
| |
|
| На: Об остановке машины Тьюринга
Добавлено: 10 авг 12 12:13
|
математика помогает только одному, вместо того, чтобы складывать 2+2 = 1+1+1+1 и получить 4, можно посмотреть в табличку...
|
|
|
NO.
Сообщений: 10700 |
|
|
| На: Об остановке машины Тьюринга
Добавлено: 10 авг 12 12:52
|
Зато там есть таблички про таблички. А не как молекулы из атомов, атомы из частиц, частицы ещё не пойми из чего.
|
|
|
|
| На: Об остановке машины Тьюринга
Добавлено: 10 авг 12 13:00
|
да, таблички про таблички есть... я с этим не спорю...
я просто говорю, что из этих табличек даже самой простой мысли не построить, не содержится она там...
|
|
|
NO.
Сообщений: 10700 |
|
| |
|
| На: Об остановке машины Тьюринга
Добавлено: 10 авг 12 13:31
|
нет, это не мысли, это просто знаки... если бы это были мысли, забор бы умел думать, а на нём просто Х@Й написано...
|
|
|
NO.
Сообщений: 10700 |
|
| |
| |
|
| На: Об остановке машины Тьюринга
Добавлено: 10 авг 12 13:58
|
Автор: Egg
да, таблички про таблички есть... я с этим не спорю...
я просто говорю, что из этих табличек даже самой простой мысли не построить, не содержится она там... |
|
Егг. Математика и логика - основа описания ВСЕГО на свете. Ибо всё познаётся в сравнении и является в опр. степени зависимым.
|
|
|
|