Die Kooperationspartner beabsichtigen, die Beziehungen zwischen Algorithmischer Zufälligkeit und berechenbarer Analysis zu untersuchen. Während die Theorie der Algorithmischen Zufälligkeit in Bezug auf berechenbare Maße schon weit entwickelt ist, steckt sie in Bezug auf Semi-Maße –Objekte, die in der Berechenbarkeitstheorie auf natürliche Weise auftreten – noch in den Kinderschuhen. Das Projekt soll hier Fortschritte erzielen; insbesondere soll ein neuer, vielversprechender Ansatz von Levin untersucht werden, der versucht, Methoden der effektiven konvexen Analysis anzuwenden, um natürliche Definitionen von Zufälligkeit für Semi-Maße zu finden.     «

Die Kooperationspartner beabsichtigen, die Beziehungen zwischen Algorithmischer Zufälligkeit und berechenbarer Analysis zu untersuchen. Während die Theorie der Algorithmischen Zufälligkeit in Bezug auf berechenbare Maße schon weit entwickelt ist, steckt sie in Bezug auf Semi-Maße –Objekte, die in der Berechenbarkeitstheorie auf natürliche Weise auftreten – noch in den Kinderschuhen. Das Projekt soll hier Fortschritte erzielen; insbesondere soll ein neuer, vielversprechender Ansatz von Levin unt...    »