Что угодно: различия между версиями

>QrazyDraqon
>QrazyDraqon
Нет описания правки
Строка 1: Строка 1:
[[Изображение:9999r.jpg|thumb|right|Численное выражение. Можно купить почти что угодно.]]
'''Что угодно''' — математический объект, описывающий что угодно. Впервые был предложен [[Боб Марля|Бубой Марлеем]] для описания [[ништяк]]а, впоследствии был многократно переформулирован и с тех пор активно используется во всех областях [[Математика|математики]], включая различные приложения, такие как кулинария и бумагомарательное исчисление.
'''Что угодно''' — математический объект, описывающий что угодно. Впервые был предложен [[Боб Марля|Бубой Марлеем]] для описания [[ништяк]]а, впоследствии был многократно переформулирован и с тех пор активно используется во всех областях [[Математика|математики]], включая различные приложения, такие как кулинария и бумагомарательное исчисление.


Строка 59: Строка 61:


== Тезис Чукчи ==
== Тезис Чукчи ==
[[Изображение:Teclado2.jpg|thumb|right|Нажимайте что угодно.]]
'''Тезис Чукчи''' (или, согласно Клей-ня, ''Тезис Чукчи [[Машина Тьюринга|Тьюринга]]'') — утверждение, предложенное в 1936 г. Алонзёй Чукчем, связывающее воедино все определения ч.у. В одной из формулировок он звучит так:
'''Тезис Чукчи''' (или, согласно Клей-ня, ''Тезис Чукчи [[Машина Тьюринга|Тьюринга]]'') — утверждение, предложенное в 1936 г. Алонзёй Чукчем, связывающее воедино все определения ч.у. В одной из формулировок он звучит так:
{{Цитата|Все разумные определения эквивалентны между собой и эквивалентны интуитивному}}
{{Цитата|Все разумные определения эквивалентны между собой и эквивалентны интуитивному}}
Строка 73: Строка 76:


== Основная теорема ==
== Основная теорема ==
[[Изображение:Anyth.PNG|thumb|right|Кровавое что угодно вышло на тропу войны.]]
Основная теорема чтоугодносчисления формулируется следующим образом:
Основная теорема чтоугодносчисления формулируется следующим образом:
{{Цитата|Что угодно вычисляется каким угодно способом в какой угодно системе}}
{{Цитата|Что угодно вычисляется каким угодно способом в какой угодно системе}}