Cargando…

Astrolinguistics Design of a Linguistic System for Interstellar Communication Based on Logic /

In linguistics, one of the main areas of modern research involves the capabilities and possibilities of there being a "lingua cosmica," a LINCOS, a universal language that could be used to communicate with non-human intelligences. This book touches on the area of the development and use of...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Ollongren, Alexander (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer New York : Imprint: Springer, 2013.
Edición:1st ed. 2013.
Temas:
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.