On Turing machines, groupoids, and Atiyha problem
Über Turingmaschinen, Gruppoide, und das Atiyah-problem
von Łukasz Grabowski
Datum der mündl. Prüfung:2011-03-10
Erschienen:2011-03-17
Betreuer:Prof. Dr. Andreas Thom
Gutachter:Prof. Dr. Andreas Thom
Gutachter:Prof. Dr. Thomas Schick
Dateien
Name:grabowski.pdf
Size:641.Kb
Format:PDF
Description:Dissertation
Zusammenfassung
Englisch
Turing dynamical system, an abstract version of a Turing machine, is defined and investigated using groupoids. The main presented application is to the Atiyah problem in group theory. It is for example proven that every non-negative real number is an l2-Betti number arising from some group.
Keywords: Atiyah problem; Atiyah conjecture; Turing machine; dynamical system; Betti numbers
Weitere Sprachen
Turing-dynamische Systeme, abstrakte Version von
Turingmaschinen, werden mittels Gruppoide definiert und
untersucht. Die wichtigste vorgelegte Anwendung
betrifft das Atiyah-Problem. Zum Beispiel, wird
bewiesen, dass jede nicht-negative reelle Zahl auch
eine l2-Bettizahl ist.
Schlagwörter: Atiyah-problem; Atiayah-vermutung; Turingmaschine; dynamische Systeme; Bettizahlen