Title: Choice sequences; past and future
Language: English
Authors: Zobel, Sarah 
Qualification level: Diploma
Keywords: Wahlfolgen; Intuitionismus; Montague Semantik
choice sequences; intuitionism; Montague semantics
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.
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:

File Description SizeFormat
Choice sequences past and future.pdf555.17 kBAdobe PDFThumbnail
 View/Open
Show full item record

Page view(s)

12
checked on Feb 18, 2021

Download(s)

80
checked on Feb 18, 2021

Google ScholarTM

Check


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