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 | Size | Format | |
---|---|---|---|---|
Choice sequences past and future.pdf | 555.17 kB | Adobe PDF | ![]() View/Open |
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.