Дифференцируемая машина Тьюринга

[ailev]

В Новосибирске есть маленькая философская секта, которая считает, что "настоящий интеллект" не живёт на машине Тьюринга, ибо она дискретна. А мир не дискретен, он непрерывен. Следовательно, отразить эту непрерывность бытия в дискретных вычислениях нельзя -- и интеллект-на-тьюринге всегда будет недостаточен, уступать "настоящему" (тёплому ламповому

Comments

[karpion]

До Фортрана, вроде, был "Автокод Меркурий".

[ailev]

Фортран был первым "большим языком", до этого были очень частные случаи -- https://en.wikipedia.org/wiki/History_of_programming_languages

[ext_458325]

Планкалкюль фашистский скорее первым был.

[ailev]

Не реализован )))

[thagastan]

Лиева машина Тьюринга?
Машина Тьюринга-Ли?
...

[grumbler]

> memories are stored in an Euclidean key space Rn

Битум (Вселенная как набор битов) - понятие обсуждавшее на конференции полит.ру на пороге тысячелетия. Саморазвитие Мирового Духа.

[edward_p]

Полагаю, что подразумевались нейрокомпьютеры, а не нейронные компьютеры. :)

Сложнее с вопросом, можно ли создать ИИ на фон-Неймановской машине. Полагаю, что пока нельзя. Проблема не только в дискретности, а в том, что нынешняя архитектура должна пройти ещё несколько поколений развития, чтобы обеспечить близкие возможности.

[a2danov]

Какие предыдущие поколения развития уже пройдены?

[edward_p]

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

[geniepro]

Я не совсем понял -- эту машину, раз она не дискретная, можно считать аналоговой, а не цифровой?