[fciu]

Zatem jeśli chcemy użyć twierdzenia Rice'a, to musimy jakoś tę maszynę do fizycznego świata podłączyć i dlatego w następnych postach przyjmowałem, że ta maszyna jakoś do środowiska jest podłączona.

No tak. Ale aby ją podłączyć do świata zewnętrznego tak, aby nie przestała być MT musimy to zrobić iteracyjnie. Co zresztą jest dygresją.

To wyjaśnij dokładnie, jak stosujesz do tej sytuacji twierdzenie Rice'a, bo nie rozumiem.

Ale to Alya szła tym torem. Ja nie widzę takiej konieczności, a jedynie odniosłem się do Twojego argumentu, że nie możemy sensownie zamodelować maszyny mającej wpływ na świat przy pomocy MT. Możemy sobie dać spokój z tą dygresją.

Ty natomiast siedzisz w mojej głowie i też wiesz na pewno, że chciałem jej dowalić.

Obserwuję pewne złośliwostki nie od dzisiaj po prostu.