Pytania otagowane jako church-turing-thesis

2
Teza Churcha-Turinga i moc obliczeniowa sieci neuronowych
Teza Church-Turinga stwierdza, że ​​wszystko, co można fizycznie obliczyć, można obliczyć na maszynie Turinga. Artykuł „Obliczenia analogowe przez sieci neuronowe” (Siegelmannn i Sontag, Theoretical Computer Science , 131: 331–360, 1994; PDF ) twierdzi, że sieć neuronowa o określonej formie (ustawienia są przedstawione w artykule) jest silniejsza. Autorzy twierdzą, że w …
2
Czy jakieś języki programowania wykorzystują ogólne funkcje rekurencyjne jako podstawę?
To naiwne i dlatego prawdopodobnie źle sformułowane pytanie, więc z góry przepraszamy! Moim zdaniem maszynę Turinga można postrzegać jako podstawę obliczeniową dla proceduralnych / imperatywnych języków programowania. Podobnie, rachunek lambda jest podstawą funkcjonalnych języków programowania. Niedawno dowiedziałem się, że teza Churcha-Turinga wykazuje również wzajemną równoważność z trzecim modelem obliczeń: ogólnymi …
5
Maszyna Turinga + dylatacja czasu = rozwiązać problem zatrzymania?
Istnieją relatywistyczne czasoprzestrzenie (np. Czasoprzestrzenie MH; patrz Hogarth 1994), w których linia świata o nieskończonym czasie trwania może być zawarta w przeszłości skończonego obserwatora. Oznacza to, że normalny obserwator może mieć dostęp do nieskończonej liczby kroków obliczeniowych. Zakładając, że komputer może funkcjonować idealnie przez nieskończony czas (i wiem, że to …
3
Czy każdy algorytm samodmodyfikujący może być modelowany za pomocą algorytmu niemodyfikującego?
Jeśli mamy dowolny dowolny program komputerowy, który może modyfikować jego instrukcje, czy można symulować ten program za pomocą programu, który nie może modyfikować jego instrukcji? Edytować: Jestem nowy w stosie wymiany, więc nie jestem pewien, czy mogę zadawać NOWE pytanie tutaj, ale oto: Ok, więc dowód, że jest to możliwe, …
2
Jasny, kompletny, dowód na to, że język jest konkurencyjny w Turingu?
Widziałem strony internetowe, które rzekomo „dowodzą”, że HTML5 + CSS jest Turing Complete. Widziałem strony internetowe, które rzekomo „dowodzą”, że SQL jest Turing Complete. Widziałem kilka stron internetowych, które rzekomo „wyjaśniają”, co to znaczy być Turing Complete. Wystarczająco! Gdzie mogę znaleźć książkę (napisaną przez eksperta w dziedzinie teorii obliczeń) lub …
2
Komputery analogowe i teza Kościoła Turinga
Chciałbym zacytować Nielsen & Chuang, Obliczenia kwantowe i informacje kwantowe, wydanie z okazji 10. rocznicy, strona 5 (moje wyróżnienie): Jedna klasa wyzwań dla silnej tezy Kościoła i Turinga pochodzi z dziedziny obliczeń analogowych. Przez lata od Turinga wiele różnych zespołów naukowców zauważyło, że niektóre typy komputerów analogowych mogą skutecznie rozwiązywać …
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.