Запитання з тегом «ho.history-overview»

Хто ввів ідею рекурсії ? Чи може хтось пояснити, звідки він походить і як це вплинуло на інформатику?

14 reference-request  ho.history-overview  recursion 

Робін Мілнер визначав біграфи як тип графічної структури зі структурою, подібною до графіка, але там, де вузли можуть бути вкладені. Вони узагальнюють обчислення процесів, як CCS та -розрахунок, але, схоже, Мілнер мав намір їх використовувати набагато загальніше: семінар зазначає незадовго до смерті детально останні події.ππ\pi Оглядаючись назад, а не вперед, …

14 process-algebra  ho.history-overview 

Шукаю: Майкл О. Рабін, "Ступінь складності обчислення функції і часткове впорядкування рекурсивних наборів", Єврейський університет, Єрусалим, 1960 Підсумок: «Ми намагаємося виміряти обсяг роботи, притаманний завданню обчислення заданої обчислювальної (рекурсивної) функції. Вводиться та вивчається поняття ступеня складності обчислень. Поняття інваріантне в тому сенсі, що воно не залежить від ідеалізованих комп'ютерів (машини …

13 cc.complexity-theory  reference-request  ho.history-overview 

Я читав про інтуїціоністичну теорію типу (ІТТ), і це має сенс. Але те, що я намагаюся зрозуміти, це "чому" це було створено в першу чергу? Інтуїціоністична логіка (IL) та просто типізована -calculus (STLC) та теорія типів взагалі передують самому існуванню самого Мартіна-Лефа! Здається, що можна зробити все в STLC, що …

13 lo.logic  soft-question  type-theory  big-picture  ho.history-overview 

Щоб відзначити 100-річчя Алана Тьюрінга, я хочу переглянути документальний фільм про його життя. Однак є кілька документальних фільмів на вибір. Який документальний фільм про Алана Тьюрінга є вашим улюбленим? Будь ласка, включіть лише один документальний фільм на кожну відповідь.

13 reference-request  soft-question  big-list  ho.history-overview 

Я хотів би знати про історію цих двох термінів: " ефективний ", " здійсненний ". Хто їх використав щодо обчислень / алгоритмів вперше? (у сучасному розумінні цих термінів, тобто 20 століття). Як вони стали мейнстрімом? Як ці два терміни почали вживатися як синоніми? Я знаю, що Кобхем використовував термін "здійсненний" …

13 cc.complexity-theory  ds.algorithms  ho.history-overview 

Викладаючи, як реалізувати FSM, використовуючи синхронні логічні схеми, я помітив інтригуючий збіг: і в теоретичному світі CS, і в електротехнічному світі "стан" зазвичай позначається (і простір стану Q ). Я спершу запитав EE.sx , але потім, трохи вивчаючи цю тему, я виявив, що навіть оригінальний папір Тьюрінга з 1936 року …

13 automata-theory  ho.history-overview 

Я намагався обернути голову навколо того, що, чому і як обчислення, але я не в змозі зіткнутися з "чому це працює"?λλ\lambda "Інтуїтивно" я отримую модель обчислення машин Тьюрінга (ТМ). Але ця абстракція просто залишає мене збентеженою.λλ\lambda Припустимо, ТМ не існує - тоді як можна "інтуїтивно" переконатися у здатності -рахунку захопити …

12 soft-question  computability  lambda-calculus  ho.history-overview  intuition 

Мова мов визначається наступною граматикою над набором символів . Інтуїтивно зрозумілі мови Dyck - це мови збалансованих дужок різного роду. Наприклад, є в але це не так.S → S SD y c k ( k )Dyck(k)\mathsf{Dyck}(k){ ( 1 , … , ( k , ) 1 , … , ) …

12 reference-request  fl.formal-languages  circuit-complexity  ho.history-overview  context-free 

Перший термін застосовується Гільбертом у своїй праці 1928 року, але в пізніших роботах Геделя те саме називається Unvollständigkeitssatz ("теорема про незавершеність"). Для сучасних німецьких дослідників CS, здається, Unvollständigkeitssatz частіше використовується, а Entscheidungsproblem ("проблема вирішення") досі розуміється, але не обов'язково асоціюється з дасом Halteproblem (що, як видається, частіше зустрічається після роботи …

11 lo.logic  computability  ho.history-overview 

Усі музеї та експонати, пов'язані з комп’ютером, я знаю, здається, лише висвітлюють історію обчислювальної техніки, але нічого не стосується тем інформатики. Ви берете участь у створенні нового Музею обчислювальної техніки, який заручається для навчання, розваг та натхнення широкої громадськості у широкому спектрі обчислень / інформатики / комунікацій / математики. Хоча …

11 soft-question  big-list  ho.history-overview 

Добре відомо, що аналітична машина Чарльза Беббіджа мала архітектуру, що сильно відповідала сучасній архітектурі Фон Ноймана. Також примітно, що таблиці для представлення програми для аналітичної машини Беббіджа ( http://www.fourmilab.ch/babbage/figures/menat3.png ) та роботи фон Неймана (наприклад, http://library.ias.edu) /files/pdfs/ecp/planningcodingof0103inst.pdf ) є досить аналогічними. Тепер мені цікаво, чи є вказівки, наскільки фон Нойман …

10 ho.history-overview 

Хтось знає, звідки беруться назви Система "F" та Система "T"? Я не запитую, хто ввів ці імена (Girard System F, і Gödel System T), але що означає "F" і "T".

9 ho.history-overview  type-systems  formal-systems 

Якщо я правильно розумію, щоб довести цю проблему АAA це NP важко, вам потрібно вибрати всі можливі проблеми БiBiB_{i} що знаходяться в NP, а потім довести, що вони зводяться до АAA використовуючи функцію обчислення поліноміального часу, яка відображає примірники кожного БiBiB_{i} до примірників АAA. Коли ви знайдете першу важку проблему …

9 soft-question  ho.history-overview  cook-levin 

(Вибачте, якщо це неправильно або занадто широко. Я відкритий для пропозицій, як переформулювати це.) Мені цікаво простежити "древню" історію алгоритмів максимального потоку та дискретні алгоритми оптимізації взагалі. Форд-Фулкерсон - моя солом’яна людина. Які були значні досягнення до цього? Як далеко ми можемо пройти, поки ще можемо зробити аргументований аргумент, що …

9 ds.algorithms  graph-algorithms  ho.history-overview