Par funkciju, kuras nebija
Tīri interesants novērojums - mēs nespējam izzināt tās matemātiskās funkcijas, kuras neeksistē. Tikko mēs cenšamies pierādīt, ka tāda un tāda funkcija neeksistē, mēs esam spiesti vairāk pastāstīt par šo neesošo funkciju… tik daudz vairāk, ka beigās to nākas definēt. Un, kad reiz tā ir definēta, ir grūti pateikt ka tādas nav.
Upd. No matemātikas viedokļa tomēr šis puksts ir daļējas muļķības. Varam tīri viegli aprakstīt ieejas datus un sagaidāmo rezultātu un tad apgalvot, ka diez vai būs kāda funkcija, kas to dara (skat. Kemunes komentāru).
07.04.2008, 09:08
nu, bet nav taču funkcija, kura pasaka, vai dotā tjūringa mašīna vai rekursīvā funkcija (kuru visu var aprakstīt ar vienu vienīgu skaitli) beigs darbu vai nē?
07.04.2008, 09:19
Taisnība gan. Šķiet, biju domājis kaut kādas vienkāršākas funkcijas.
07.04.2008, 10:32
Nu bet tas ir vienkāršs paradokss, kas virza cilvēci uz attīstību - tas nav nemaz slikti ;)