Their argument over language animates the early days of their love, in all its inexpressibility.
|
|
In The Body in Pain, Elaine Scarry argues that pain is marked by its inherent inexpressibility and that torture is a structure of unmaking the world of its victim through the very unsharability of their experience.
|
|
Insofar as ancillary language may compensate for the inexpressibility of pain, narrative serves to conform the chaos or physical and psychological trauma of the war to a system of logic (or systematized illogic); it schematizes the unspeakable, as if a coherent battle plan were superimposed upon the agony of the trenches.
|
|
29th IEEE Symposium on Foundations of Computer Science, 1988, pp. 358-367. for proving inexpressibility results in logic.
|
|
A simple example of the Ehrenfeucht–Fraïssé game is given in one of Ivars Peterson's MathTrek columns.Example of the Ehrenfeucht-Fraïssé game. Phokion Kolaitis' slidesCourse on combinatorial games in finite model theory by Phokion Kolaitis (.ps file) and Neil Immerman's book chapter on Ehrenfeucht–Fraïssé games discuss applications in computer science, the methodology for proving inexpressibility results, and several simple inexpressibility proofs using this methodology.
|
|
The part of the book on first-order topics ends with a chapter on logical characterizations of resource bounds for parallel random-access machines and circuit complexity. Chapter six introduces Ehrenfeucht–Fraïssé games, a key tool for proving logical inexpressibility, and chapter seven introduces second-order logic. It includes Fagin's theorem characterizing nondeterministic polynomial time in terms of existential second-order logic, the Cook–Levin theorem on the existence of NP-complete problems, and extensions of these results to the polynomial hierarchy. Chapter eight uses games to prove the inexpressibility of certain languages in second- order logic.
|
|
In the mathematical discipline of model theory, the Ehrenfeucht–Fraïssé game (also called back-and-forth games) is a technique for determining whether two structures are elementarily equivalent. The main application of Ehrenfeucht–Fraïssé games is in proving the inexpressibility of certain properties in first-order logic. Indeed, Ehrenfeucht–Fraïssé games provide a complete methodology for proving inexpressibility results for first-order logic. In this role, these games are of particular importance in finite model theory and its applications in computer science (specifically computer aided verification and database theory), since Ehrenfeucht–Fraïssé games are one of the few techniques from model theory that remain valid in the context of finite models.
|
|
Other widely used techniques for proving inexpressibility results, such as the compactness theorem, do not work in finite models. Ehrenfeucht–Fraïssé-like games can also be defined for other logics, such as fixpoint logics and pebble games for finite variable logics; extensions are powerful enough to characterise definability in existential second-order logic.
|
|
Another result that he proved in his PhD thesis is that first-order logic has a zero- one law, a tool for proving inexpressibility results for database query languages.Ronald Fagin: "Probabilities on Finite Models". Journal of Symbolic Logic, 41(1):50-58, 1976 This result was proved independently by Glebskiĭ et al. earlier (1969) in Russia,Y.
|
|
The description "veers between the reticence of inexpressibility and extravagant detail".Robert Easting, "Access to Heaven in Medieval Visions of the Otherworld," in Envisioning Heaven in the Middle Ages (Routledge, 2007), p. 77. Heaven is a seven-walled city, permeated by music and perfume, where the "Glorious One" sits on a throne.Gardiner, Medieval Visions, p. 23.
|
|
Antaryami Brahmanam of Brihadaranyaka Upanishad passage "yasya prithvi sariram yasya atma sariram" is also interpreted to show that Brahman is not a zero point - "nirvisesha chinmatra" (an entity which has nothing except existence) The typical interpretation of Neti-Neti is not this, not this or neither this, nor that. It is a phrase meant to convey the inexpressibility of Brahman in words and the futility of trying to approximate Brahman with conceptual models.In VisishtAdvaita, the phrase is taken in the sense of not just this, not just this or not just this, not just that. This means that Brahman cannot be restricted to one specific or a few specific descriptions.
|
|
Hurston returned to Alabama to interview him over a period of months and wrote a book about him, but it was not published until 2018, long after her death, as Barracoon: The Story of the Last "Black Cargo". The appendix lists Sally Smith as having a son, Jessie Smith, a farmer, but Redoshi's only known child was a daughter. Redoshi in The Negro Farmer (1938) Durkin noted the limited number of sources that refer to the West African woman: notes and a letter by Zora Neale Hurston to Langston Hughes, not published during her lifetime; a Montgomery, Alabama, newspaper interview from 1932; a federal government educational film from 1938, in which she briefly appears; a brief account in the memoir of a civil-rights activist, and various data from the U.S. Census and other records. They are "fragmentary, frequently contradictory...[;] The gaps and inconsistencies across these materials help to underscore the inexpressibility of transatlantic slavery as a lived experience". In 1928, Hurston had written to her friend Langston Hughes about her travels in Alabama interviewing African Americans.
|
|