Większość samouczków na temat rachunku Lambda stanowi przykład, w którym dodatnie liczby całkowite i liczby boolowskie mogą być reprezentowane przez funkcje. Co z -1 i
Niedawno student poprosił mnie o sprawdzenie dla nich dowodu twardości NP. Dokonali redukcji zgodnie z: Zmniejszam ten problem P′P′P' którym wiadomo, że jest NP-kompletny do mojego problemu PPP (z redukcją wielokrotnego wielokrotności jeden), więc PPP jest NP-twardy. Moja odpowiedź brzmiała w...
Jak można rozstrzygać, czy ma pewną sekwencję cyfr? ππ\pizainspirowało mnie do pytania, czy można obliczyć następującą niewinnie wyglądającą odmianę: fa( n ) = { 10jeśli n¯ występuje w postaci dziesiętnej πInaczejf(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) =...
Bieżący zmiennoprzecinkowy (zmiennoprzecinkowy ANSI C, podwójny) pozwala przedstawić przybliżoną liczbę rzeczywistą. Czy istnieje sposób na przedstawienie liczb rzeczywistych bez błędów ? Oto pomysł, który miałem, ale nie idealny. Na przykład 1/3 to 0.33333333 ... (podstawa 10) lub o.01010101...
Czy „twierdzenie Rice'a o liczbach obliczalnych” - to znaczy żadna nietrywialna właściwość liczby reprezentowanej przez daną rzeczywistość obliczalną nie jest rozstrzygalna - jest prawdą? Czy to w jakiś bezpośredni sposób odpowiada połączeniom