ru.algorithms

 
 - RU.ALGORITHMS ----------------------------------------------------------------
 From : Ilya S Slyzhnyak                     2:5082/5.11    13 Jun 2001  21:29:04
 To : Sergey Pavlishene
 Subject : Hеразрешимая задача
 -------------------------------------------------------------------------------- 
 

 
 13 Jun 01 07:00, Sergey Pavlishene wrote to All:
 
 SP> Про Тьюринга ....
 SP> По-моему, есть такая теорема в матлогике, смысл которой в том, что
 SP> невозможно создать машину Тьюринга, которая бы знала когда завершит
 SP> работу другая машина Тьюринга. И из этого следует, что невозможно
 SP> написать универсальный транслятор с любого языка на любой.
 
     Этого даже человек не всегда в состоянии определить. Следствие неверно.
 
    WBR, Ilya S Slyzhnyak.       e-mail: ilya666@mail.kz icq: 33099817
 
 --- GoldED+ snapshot-2001.5.29 (Win9x 4.90.3000 i586)
  * Origin: East Kazakhstan State University, Applied Math (2:5082/5.11)
 
 

Вернуться к списку тем, сортированных по: возрастание даты  уменьшение даты  тема  автор 

Тема:    Автор:    Дата:    Hеразрешимая задача   Zapadinsky Anatoly \\(ZAB\\)   11 Jun 2001 13:30:06   Re: Hеразрешимая задача   Andrew Ezhguroff   11 Jun 2001 18:05:16   Hа: Hеразрешимая задача   Zapadinsky Anatoly \\(ZAB\\)   13 Jun 2001 15:30:55   Hеразрешимая задача   Sergey Andrianov   12 Jun 2001 09:20:30   Re: Hеразрешимая задача   Sergey Pavlishene   13 Jun 2001 07:00:35   Re: Hеразрешимая задача   Alexei Frounze   13 Jun 2001 10:36:13   Hеразрешимая задача   Ilya S Slyzhnyak   13 Jun 2001 21:29:04   Hа: Hеразрешимая задача   Zapadinsky Anatoly \\(ZAB\\)   13 Jun 2001 15:28:53   Hа: Hеразрешимая задача   Stanislav Shwartsman   13 Jun 2001 19:47:54   Hа: Hеразрешимая задача   Nickita Startcev   14 Jun 2001 19:11:08   Hа: Hеразрешимая задача   Maxim Ushakov   14 Jun 2001 11:20:54   Hа: Hеразрешимая задача   Sergey Andrianov   14 Jun 2001 17:15:10