𝚙
про эти трубки или типа того
Size: a a a
2020 May 22
𝚙
quantum shit in the house
DS
я вот кстати недавно где-то слушал пенроуз рассказывал
Ага, ага, что, волнувую функцию уже схлопнул?
𝚙
😄
DS
Вот это у Пенроуза откровенное фричество
AG
я говорю о сугубо практичных вещах а чат заносит в научный бред о каких то маргинальных разделах математики
Но в принципе всё, что работает на компьютере основано на "маргинальных разделах математики" 🤷♂
𝚙
Но в принципе всё, что работает на компьютере основано на "маргинальных разделах математики" 🤷♂
+
p
дефайн что такое функция
функция это сущность которая возращает значение
𝚙
вообще компьютеры это высер больного воображения математиков-геев
𝚙
можно сказать computer science это фундаментально маргинализированная наука
𝚙
функция это сущность которая возращает значение
чем тогда я отличаюсь от функции?
𝚙
<значение>
𝚙
смотри, вернул тебе на твой тезис значение
SP
Но в принципе всё, что работает на компьютере основано на "маргинальных разделах математики" 🤷♂
не неси бред пожалуйста. случилось то что пара сектантов украла труд инженеров. не более
p
чем тогда я отличаюсь от функции?
мы про программирование говорим
𝚙
а я про вычисления...
PP
функция это сущность которая возращает значение
ну вот то есть смотри у тебя функция 1 принимает юнит и возвращает 1
то есть у него тип 1 ^ 1 а не {1}
то есть у него тип 1 ^ 1 а не {1}
DS
нет! почему? потому что гипотеза тьюринг–черча про вычисляемые функции?
И? То, что есть не вычислисые функции не делает их не описываемыми математикой.
Для начала есть различные модели не тюринговских вычислителей, которые могут справляться и с традиционно невычислимыми задачами.
Для начала есть различные модели не тюринговских вычислителей, которые могут справляться и с традиционно невычислимыми задачами.
p
ну вот то есть смотри у тебя функция 1 принимает юнит и возвращает 1
то есть у него тип 1 ^ 1 а не {1}
то есть у него тип 1 ^ 1 а не {1}
тип 1 поскольку она ничего не принимает. функция ничего не принимает.
𝚙
И? То, что есть не вычислисые функции не делает их не описываемыми математикой.
Для начала есть различные модели не тюринговских вычислителей, которые могут справляться и с традиционно невычислимыми задачами.
Для начала есть различные модели не тюринговских вычислителей, которые могут справляться и с традиционно невычислимыми задачами.
гиперкомпьютеры типа?