Linux за българи: Форуми

http://www.getacoder.com/projects/bug_finder_92913.html

П.П. Ако някой не схваща шегата да пита :)

Много текст бе човек ;) Кажи за какво става дума, че четене по диагонала не откри нищо весело за мен  :)

Последният коментар кърти ;D
Иначе да създадеш програма, която търси грешки в сорс и да каже дали ще се компилира или няма... еми компилатора не прави ли същото?

http://en.wikipedia.org/wiki/Halting_problem

Накратко: Може ли, ако имаш описание (сорс) на една програма и входа и, да определиш, с помощта на друга програма (без да изпълниш първата), дали тя някога ще приключи изпълнението си, или никога няма да спре да работи ("безкраен цикъл").

През 1936-та Тюринг е казал, че не може. Други хора са съгласни с него.

Между другото, ако се интересувате от връзката между математиката и компютрите (програмирането), дали нещо може въобще и как да се изпрограмира можете да се запишете във ФМИ - http://www.fmi.uni-sofia.bg/ ($2).
Не е лошо там, човек може да се запознае с други хора дето се интересуват от подобни неща.

На интересуващите се от такива философско-математически проблеми, препоръчвам книгата на Роджър Пенроуз "Новият разум на царя" ( ISBN 954-07-0468-5). За съжаление книгата се намира трудно - може да потърсите в някоя библиотека или в антикварните книжарници (на три пъти по-висока цена):
http://www.alba-books.com/index.php?go=products&id=2987

Книгата може да се намери за изтегляне на руски и английски език (нарочно не давам линкове - не е мястото им в този форум).

Ключови думи за търсене на руския превод (намират се две различни версии на руски език!):
"Роджер Пенроуз" + "Новый ум короля" ($2)

По темата: Този пример не бива да се ползва като аргумент, че не е разумно да се ползват подобни сайтове. Хората от сериозните фирми не мислете, че са по-различни от останалите. Глупостта е характерна за всички хора и навсякъде може да срещнем човек, който в дадения момент да покаже глупостта си. И освен това не всички от програмистите се интересуват от подобни философски теми - целите им са далеч по-прагматични - да пишат програми за пари (но понякога пропуски в знанията като тези може драматично да окажат влияние върху финансите им - например, ако се мъчат твърде дълго да решат нерешима задача...).

Само две неща са безкрайни - Вселената и човешката глупост, като за първото не съм сигурен.

P.S. Не смятам, че опитите да се решат "нерешими задачи" няма смисъл. Имало е много случаи в историята, когато подобни опити са били успешни! Разбира се не твърдя, че точно тази задача е решима - говоря по принцип.

Хех, не бях обърнал внимание, че името на пусналия проекта е AlanT :)
Иначе ми се струва, че всеки сериозен професионалист, независимо каква професия практикува, трябва да знае границите на възможното в съответната област. Според мен програмист, който не знае за halting problem не е никакъв професионалист, а кон с капаци :)

vstoykov, няма нищо лошо в опитите да се решат нерешими задачи, проблемът е, че опита в случая трябва да бъде с използване на математика, а не писане на програма.

Между другото, ако се интересувате от връзката между математиката и компютрите (програмирането), дали нещо може въобще и как да се изпрограмира можете да се запишете във ФМИ - http://www.fmi.uni-sofia.bg/ ($2).
Не е лошо там, човек може да се запознае с други хора дето се интересуват от подобни неща.

Или пък може в FMI Пловдив http://fmi-plovdiv.org/ :P
Обещаваме единствено бира и програмиране :)

П.П. Това стана като предизборна кампания.

Иначе ми се струва, че всеки сериозен професионалист, независимо каква професия практикува, трябва да знае границите на възможното в съответната област. Според мен програмист, който не знае за halting problem не е никакъв професионалист, а кон с капаци :)

Аз пък се мислех за доволно професионалист но не можах да се сетя за друг алгоритмично нерешим проблем (този обаче го знаех)

Това наистина си е програмистка шега. Тоест чак като прочетох вашите коментари разбрах за какво става въпрос. Текста на английски го разбрах но никога не бях чувал за подобен проблем.