Astrolinguistics
Springer-Verlag New York Inc.
978-1-4614-5467-0 (ISBN)
Alexander Ollongren began his career as a mathematical astronomer at the Dept. of Astronomy at Leiden University in the Netherlands, where he obtained his PhD. He then left the university and worked almost two years in Celestial Mechanics at Yale University in the US. Ollongren returned to Holland and became director of the newly established computer center of Leiden University. He spent a sabbatical leave as a visiting scientist at the IBM Laboratory in Vienna and was later appointed full professor of theoretical computer science at the Dept. of Computer Science of Leiden University. He was a guest professor in the same science for about a year at Linkoping University in Sweden. After retirement he became a member of the Permanent Study Group Search for ExtraTerrestrial Intelligence (PSGSETI) of the International Astronautical Academy. He has written books and articles on the semantics of programming languages.
Preface by Prof. D. Vakoch.- Paart I: Calculus of Constructions.- Chapter 1.1: Types and declarations.- Chapter 1.2: Functions and induction.- Chapter 1.3.: Hypotheses.- Chapter 1.4: Higher orders and inductive structures.- Part II: Facts.- Chapter 2.1: Simple Facts.- Chapter 2.2: Compounds.- Chapter 2.3: Aristotelian Theater.- Chapter 2.4: Wittgenstein's Theater.- Part III: Annotation in LINCOS.- Chapter 3.1: Logical contents of texts.- Chapter 3.2: An astrolinguistic experiment.- Chapter 3.3: Aspects of Truth.- Chapter 3.4: Human altruism.- Part IV: Interpretation of LINCOS.- Chapter 4.1: Self-interpretation.- Chapter 4.2: Pictorial representations.- Chapter 4.3: Representation of music.- Chapter 4.4: Signature of LINCOS.- Part V: Processes in LINCOS.- Chapter 5.1: Representing processes.- Chapter 5.2: Cooperating sequential processes.- Chapter 5.3: Hamlet in LINCOS.- Part VI: Symbolic Computation.- Chapter 6.1: Basics.- Chapter 6.2: Relativistic particle motion.- Chapter 6.3: Two-body motion.- Parti VII: (Un)Certainty.- Chapter 7.1: Certain existence.- Chapter 7.2: The uncertain alien.- Appendices.- Appendix A: Background information.- Appendix B: Preliminary Orientation.- Appendix C: History.- Appendix D: a gentle introduction to Lambda and Type.- Appendix E: Postscriptum.- Appendix F: Summary in Russian.- Appendix G: Curriculum Vitae.- Index.
| Zusatzinfo | 4 Illustrations, color; XV, 248 p. 4 illus. in color. |
|---|---|
| Verlagsort | New York, NY |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Schulbuch / Wörterbuch ► Lexikon / Chroniken |
| Geisteswissenschaften ► Philosophie ► Sprachphilosophie | |
| Geisteswissenschaften ► Sprach- / Literaturwissenschaft ► Sprachwissenschaft | |
| Naturwissenschaften ► Physik / Astronomie ► Angewandte Physik | |
| Naturwissenschaften ► Physik / Astronomie ► Astronomie / Astrophysik | |
| Technik ► Luft- / Raumfahrttechnik | |
| Schlagworte | Applied logic to communication modes • Extraterrestrial Intelligence • Hans Freudenthal • Interpretation of LINCOS • Interstellar communication • Lingua cosmica • SETI language • Space communication technology • Symbolic computation of languages • Talking to aliens • Theoretical Linguistics |
| ISBN-10 | 1-4614-5467-0 / 1461454670 |
| ISBN-13 | 978-1-4614-5467-0 / 9781461454670 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich