Pytania otagowane jako soft-question

Miękkie pytanie jest pytaniem (być może subiektywnym) o dziedzinie informatyki teoretycznej, a nie pytaniem w informatyce teoretycznej.

5
Historyczne przyczyny przyjęcia maszyny Turinga jako podstawowego modelu obliczeń.
Rozumiem, że model Turinga stał się „standardem” przy opisywaniu obliczeń. Interesuje mnie, dlaczego tak jest - to znaczy, dlaczego model TM stał się szerzej stosowany niż inne teoretycznie równoważne (o ile mi wiadomo) modele, na przykład μ-Recursion Kleene'a lub rachunek lambda (rozumiem to pierwsze pojawiło się dopiero później, a drugie …
16
Wyniki fizyki w TCS?
Wydaje się jasne, że na wiele podpól teoretycznej informatyki istotny wpływ wywarły wyniki fizyki teoretycznej. Oto dwa przykłady Obliczenia kwantowe Wyniki mechaniki statystycznej stosowane w analizie złożoności / algorytmach heurystycznych. Więc moje pytanie brzmi: czy brakuje mi jakichś głównych obszarów? Moja motywacja jest bardzo prosta: jestem fizykiem teoretycznym, który przybył …
10
Prawdziwe komputery mają tylko skończoną liczbę stanów, więc jakie jest znaczenie maszyn Turinga dla prawdziwych komputerów?
Prawdziwe komputery mają ograniczoną pamięć i tylko skończoną liczbę stanów. Są to w zasadzie skończone automaty. Dlaczego informatycy teoretyczni używają maszyn Turinga (i innych równoważnych modeli) do badania komputerów? Jaki jest sens studiowania tych znacznie silniejszych modeli w odniesieniu do prawdziwych komputerów? Dlaczego model automatów skończonych nie wystarczy?
8
Co robisz, gdy nie możesz zrobić postępu w sprawie problemu, nad którym pracowałeś?
Teoretycznie jestem studentem drugiego roku. Pracowałem nad problemem przez ostatni rok (w teorii grafów / algorytmach). Do wczoraj myślałem, że mam się dobrze (przedłużałem twierdzenie z artykułu). Dziś zdałem sobie sprawę, że popełniłem prosty błąd. Zrozumiałem, że zrobienie tego, co zamierzałem, będzie znacznie trudniejsze niż myślałem. Tak bardzo się rozczarowałem, …
8
Rygor prowadzący do wglądu
Na MathOverflow Timothy Gowers zadał pytanie zatytułowane „ Wykazanie, że rygor jest ważny ”. Większość dyskusji dotyczyła przypadków pokazujących wagę dowodu, o których ludzie w CSTheory prawdopodobnie nie muszą być przekonani. Z mojego doświadczenia wynika, że ​​dowody muszą być bardziej rygorystyczne w informatyce teoretycznej niż w wielu częściach ciągłej matematyki, …
1
Znaczenie prac jednego autora?
Jestem doktorantem czwartego roku informatyki teoretycznej. Chciałbym zostać w środowisku akademickim, więc myślę o tym, jak najlepiej rozwinąć swoją karierę. Oczywiście najlepszym sposobem na zrobienie tego jest napisanie wielu dobrych prac, ale inne pytanie brzmi, czy powinienem starać się, aby więcej z tych prac było jednym autorem. Do tej pory …
3
Jak znaleźć ciekawe problemy badawcze
Mimo kilku lat zajęć wciąż nie mogę się zdecydować na temat badań. Przeglądałem artykuły z różnych dziedzin i rozmawiałem z profesorami i zaczynam myśleć, że to niewłaściwe podejście. Czytałem, że pomaga znaleźć interesujący problem (bez względu na obszar), a następnie pracować nad tym. Podręczniki wspominają o znanych nierozwiązanych, ale nie …
3
Wybór artykułów do przeczytania
OŚWIADCZENIE: To pytanie jest otwarte, a purytanie z wymiany stosów prawdopodobnie odczuwaliby niezwykłą potrzebę głosowania w celu zapomnienia. Nie mogę jednak wymyślić żadnego innego forum bardziej odpowiedniego i obiecującego na uzyskanie odpowiedzi na to pytanie. Pracując nad problemem badawczym do projektu kursu, zdaję sobie sprawę, że jeśli w szczególny sposób …
4
Dokumenty jednego autora wbrew woli mojego doradcy?
Jestem doktorantem trzeciego roku z zakresu teoretycznego CS, który chciałby uzyskać porady dotyczące trudnej sytuacji z moim doradcą. Mój doradca w ogóle nie bierze udziału w moich projektach badawczych. W szczególności wymyśliłem wszystkie moje pomysły na papier i wykonałem je sam. Zawsze jednak nalega, aby dodać swoje nazwisko jako współautorka. …
13
Inspirująca rozmowa dla uczniów ostatniej klasy liceum
Mój dział często prosi mnie o wygłaszanie wykładów dla uczniów liceum na temat bardziej matematycznych elementów informatyki. Dokładam wszelkich starań, aby wybierać z TCS tematy, które mogą wzbudzić ich zainteresowanie (co dotyczy głównie problemu Halting), ale chętnie usłyszę pomysły / sukcesy / porażki innych ludzi. Chodzi o to, że są …
14
Jak praktyczna jest teoria automatów?
Zawsze istnieje sposób na zastosowanie w tematach związanych z informatyką teoretyczną. Jednak podręczniki i kursy licencjackie zwykle nie wyjaśniają, dlaczego teoria automatów jest ważnym tematem i czy nadal ma zastosowania w praktyce. Dlatego studenci mogą mieć problemy ze zrozumieniem znaczenia teorii automatów i mogą myśleć, że nie ma ona już …
5
Kiedy powinieneś powiedzieć to, co wiesz?
Co powinieneś zrobić, gdy zobaczysz publicznie zadane pytanie, powiedz tutaj na wymianie stosów, na które znasz odpowiedź, ponieważ patrzysz w ramach bieżącego projektu badawczego? Na przykład widzę pytanie TCS.SX, na które znam odpowiedź, ponieważ ostatnio pracowałem nad problemem. Nie skończyłem jeszcze pisać wyników i staram się uzyskać jeszcze kilka wyników, …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.