| |Aktuálna verzia| | |Nápady| | |Literatúra| |
|
Definovat topologiu na jazykoch, definovat konvergenciu. Nekonecna kolmogorovska zlozitost -- padne do aritmetickej hierarchie? a co obmedzenia modelovanie nekonecnych vypoctov z pohladu aktualneho nekonecna vypocet = riadiaca struktura + mozne transformacie "sveta". -- skumanie transformacii. simulacia orakula "rekurziou". Vypoctovy model na baze Objektoveho pristupu. Algoritmicke modelovanie procesov. Modelovanie "algoritmickych" postupv v matematike. topologicka struktura na jazykoch/logike aritmeticka hierarchia je nekonecna kvoli spocitatelnosti poctu programov linky http://www.cs.iastate.edu/~lutz/complexity.html http://www.cs.iastate.edu/~lutz/st_PHD_OUT.html terwijn, logic |