Обсуждение:Теория доказательств
Перейти к навигации
Перейти к поиску
 | Эта статья выставлялась на удаление и была оставлена. Пояснение причин и соответствующее обсуждение вы можете найти на странице Википедия:К удалению/3 января 2011. Повторное выставление допустимо лишь при наличии аргументов, не рассмотренных в прошлых номинациях, при изменении обстоятельств вокруг предмета статьи или изменении правил Википедии, в противном случае повторная заявка будет быстро закрыта. |
Эта статья тематически связана с вики-проектом «Математика», цель которого — создание и улучшение статей по темам, связанным с математикой. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. |
«80-е годы ХХ века — проект компьютеров пятого поколения, попытка создать компьютер способный понимать окружающий мир, передвигаться в логическом универсуме (то есть самосовершенствоваться). Вследствие основания на порочной технологии языка Пролог — полный провал и потеря интереса к логике» — Понятие "порочный" неприменимо к языкам.--x
- Обоснуй. --y
Untitled[править код]
Сплошной ОРИСС, нет АИ. Нынешний текст статьи вполне достоин удаления. AntonMih 14:21, 29 апреля 2010 (UTC)