Изменения

## ссылки на википедию

# [[Вычислимые числа]]

## объяснить, что такое универсальная функция неформально, и нафига она нужна.

## англоязычные термины

## внутренние ссылки

## категории

## англоязычные термины

## ссылка на английскую википедию, у существующих источников ссылки на номер страницы

## написать еще про сведение по Тьюрингу и чем m-сведение от него принципиально отличается. Написать, что произойдет, если использовать программы с оракулом, который разрешает задачу останова, написать про иерархию Тьюринга

## англоязычные термины

## {{tick}} англоязычные источники, в частности, википедия

# '''взяли''' [[Примеры неразрешимых задач: задача о замощении|Задача о замощении полимино]]

## замечания в обсуждении

## замечения в обсуждении

## написать. Это очень просто на самом деле, если немного помнить матлогику

# '''!!!''' [[Неразрешимость проблемы существования решения диофантова уравления в целых числах]]

## написать. Тут все не написать, но хотелось бы какой-нибудь скетч доказательства с выделением основных технических моментов, примерами диофантовых множеств, всякими трюками, с ними связанными.

# [[Теорема Райса-Шапиро]]