Witam! Czy mógłby ktoś jakoś na chłopski rozum powiedzieć o co chodzi w twierdzeniu ricea? I jakie to są trywialne własności jezyków programowania? Rozumiem że są to własnosci takie które maja wszystkie języki lub żaden?
Fajne materiały z Cornella- http://www.cs.cornell.edu/~dsteurer/toc13/lectures/15/
Fajne materiały z Berkeley- http://www.eecs.berkeley.edu/~luca/cs172/noterice.pdf
Fajne materiały ze Stanforda- http://kilby.stanford.edu/~rvg/154/handouts/Rice.html