Обговорення:Машина Тюрінга

Це сторінка обговорень та пропозицій для статті Машина Тюрінга
Будь ласка, підписуйте свої коментарі (для цього наберіть ~~~~ або натисніть кнопку    над віконцем редагування) Нові теми починайте внизу сторінки (додати тему). Вперше у Вікіпедії? Ласкаво просимо! Часті запитання. Це сторінка для обговорення не предмета статті, а тільки цієї статті. Правила обговорень Будьте ввічливі Припускайте добрі наміри Не допускайте образ Не прискіпуйтеся до новачків

Ця стаття є частиною Проєкту:Комп'ютерні науки (рівень: 3, важливість: найвища)
	Мета проєкту — створення якісних та інформативних статей на теми, пов'язані з інформатикою і комп'ютерними науками. Ви можете покращити цю статтю, відредагувавши її, а на сторінці проєкту вказано, чим ще можна допомогти. Учасники проєкту будуть вам вдячні.
III (у розвитку)	Ця стаття за шкалою оцінок статей Проєкту:Комп'ютерні науки має рівень «стаття у розвитку».
Найвища	Важливість цієї статті для проєкту Комп'ютерні науки: «найвища»
	Чим допомогти:

Ця стаття є частиною Проєкту:Математика (рівень: 3, важливість: висока)
	Мета проєкту — створення якісних та інформативних статей на теми, пов'язані з Математикою. Ви можете покращити цю статтю, відредагувавши її, а на сторінці проєкту вказано, чим ще можна допомогти. Учасники проєкту будуть вам вдячні.
III (у розвитку)	Ця стаття за шкалою оцінок статей Проєкту:Математика має рівень «стаття у розвитку».
Висока	Важливість цієї статті для проєкту Математика: «висока»
	Чим допомогти: Статті до створення та доопрацювання

Рік	2010	2011
Переглядів	2119	3268

історія

мені здаеється, що вислів "формалізував поняття алгоритму" не є дуже коректним. Поняття алгоритму, также як і множини є інтуітивним і не підлягає формалізації. Напевне правильніше було б написати, що МТ виконує алгоритм, і згідно тези Черча (я не знаю що раніше з"явилось ), обчислює алгоритмічну функцію. --LymonAdd

Що доробити

Тут геть відсутня інформація про недетерміновані машини Тюринга, застосування, термінологію. Слід додати інформацію про зв'язок з комп'ютерами та мовами програмуванння, іншими формалізаціями поняття алгоритму, тощо.--vityok 14:37, 13 жовтня 2008 (UTC)