# playlist (click the video's upper-left icon)
source: Лекториум 2013年10月3日
Курс будет состоять из двух формально независимых частей. Взятые вместе, они демонстрируют существенное различие, с алгоритмической точки зрения, вещественных чисел и целых чисел. А именно, в первой части будет изложена версия алгоритм Тарского, позволяющего установить истинность или ложность любой замкнутой арифметической формулы первого порядка с переменными для вещественных чисел. В качестве "бесплатного" приложения этот алгоритм дает разрешимость "элементарной" геометрии (через введенный Р. Декартом "метод координат"). Во второй части будет рассказано про отрицательное решение десятой проблемы Гильберта, в которой он просил найти алгоритм, который позволял бы по произвольному диофантову уравнению узнавать, имеет ли оно решения в целых числах - такого алгоритма не существует.
Чтение к курсу на странице Computer Science Club.
Подписывайтесь на канал: https://www.lektorium.tv/ZJA
Следите за новостями:
https://vk.com/openlektorium
https://www.facebook.com/openlektorium
1. Clicking ▼&► to (un)fold the tree menu may facilitate locating what you want to find. 2. Videos embedded here do not necessarily represent my viewpoints or preferences. 3. This is just one of my several websites. Please click the category-tags below these two lines to go to each independent website.
No comments:
Post a Comment