Theoretical and Mathematical Physics Seminar

Квантовата теория преобръща представите ни за света, в това число и за компютрите. Докато за класическите компютри един от въпросите пред начинаещите е "как се пуска", то за квантовите компютри въпросът "как се спира" представлява предизвикателство дори за специалистите. Проблем за спирането (halting problem) има и при класическите изчисления, но там въпросът не е "как", а "дали" (ще спрат). В тази светлина, класическият проблем за спирането се пренася и при квантовите изчисления, но след като се уточни по принцип как те би трябвало да спират. В този доклад ще направим кратко въведение в проблема за спиране при квантовите изчисления: възникване, развитие и някои настоящи перспективи. Ще бъде представено понятието квантова машина на Тюринг като непосредствено обобщение на класическата машина на Тюринг. Използваните методи са от областите на матричната алгебра и функционален анализ над хилбертови пространства. Няма да се предполагат предварителни познания от квантовата теория като необходимите сведения ще бъдат представени в контекста на разглеждания модел.