Title: Choice sequences : past and future
Language: English
Authors: Zobel, Sarah 
Qualification level: Diploma
Advisor: Baaz, Matthias
Issue Date: 2009
Number of Pages: 78
Qualification level: Diploma
Abstract: 
Wahlfolgen sind das Zugrunde liegende, zentrale Konzept der intuitionistischen Mathematik. Die Diplomarbeit konzentriert sich hauptsächlich auf den Spezialfall der freien Wahlfolgen (lawless sequences), die von L.E.J. Brouwer als Mengenkonzept für den Intuitionismus eingeführt wurden. Wir geben eine kurze Zusammenfassung der Literatur und betrachten dann Wahlfolgen losgelöst von ihrem intendierten Einsatzgebiet in der Mathematik. Ein Kapitel diskutiert neue Varianten von Wahlfolgen von denen dann im nächsten Kapitel eine Variante auf das Feld der natürlichsprachlichen Semantik in der Linguistik angewendet wird. Dies zeigt die Anwendbarkeit der Wahlfolgen auch außerhalb der Mathematik.

Choice sequences are the basic, central concept of intuitionistic Mathematics. This thesis concentrates on the special case called "lawless sequences" which L.E.J. Brouwer introduced to Intuitionism to formalise the notion of a set. We give a short summary of the literature on lawless sequences, and afterwards we discuss choice sequences irrespective of their intended area of application in intuitionistic Mathematics. One chapter discusses new variants of choice sequences. In another chapter one of these variants is then applied to natural language semantics, a subarea of linguistics. This shows the applicability of choice sequences beyond Mathematics.
Keywords: Wahlfolgen; Intuitionismus; Montague Semantik
choice sequences; intuitionism; Montague semantics
URI: https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-28923
http://hdl.handle.net/20.500.12708/14743
Library ID: AC05040457
Organisation: E104 - Institut für Diskrete Mathematik und Geometrie 
Publication Type: Thesis
Hochschulschrift
Appears in Collections:Thesis

Files in this item:


Page view(s)

13
checked on Jul 8, 2021

Download(s)

85
checked on Jul 8, 2021

Google ScholarTM

Check


Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.