теорема тарского.

Теоремы Гёделя, Тьюринга и Хайтина – доказательства неалгоритмичности Вселенной и неполноты физических теорий?

«Логика – это в первую очередь естественная наука» (Фердинанд Гонсет)«

продолжить чтение