24,358 research outputs found
System T and the Product of Selection Functions
Get PDFWe show that the finite product of selection functions (for all finite types) is primitive recursively equivalent to Goedel's higher-type recursor (for all finite types). The correspondence is shown to hold for similar restricted fragments of both systems: The recursor for type level n+1 is primitive recursively equivalent to the finite product of selection functions of type level n. Whereas the recursor directly interprets induction, we show that other classical arithmetical principles such as bounded collection and finite choice are more naturally interpreted via the product of selection functions
Jack Alive / Martin Dead : The Location of the "Author" in Jack London\u27s Martin Eden
No full textThis essay is an attempt to read Martin Eden, Jack Londonʼs autobiographical novel, in terms of the inextricable relationship between the author and the protagonist. Critics have often taken the unbalanced plot and the lack of ironic distance between narrator and character in Martin Eden as the technical weakness of London, but this paper argues that the achievement of this novel owes a great deal to the attachment of London to Martin. The unbalanced structure is a necessary product of the severe struggle of the author to kill his romantic alter ego. // Martin, who aspires to win Ruth Morse, tries to cross class boundaries by making a career of a writer. Even after realizing the emptiness of Ruth, who turns out to be nothing but a typical figure of the bourgeoisie, he somehow persists in loving her. The notion underlying here is that, for Martin, love, career and art are fundamentally inseparable. He objects to the aestheteʼs view of Brissenden on account of his separation of art from career. Martinʼs identity and life consist only in the triunity of love/career/art; the alternative is the repudiation of life. Thus, the unnatural delay of his disappointment in love can be regarded as Londonʼs strategy to set the suicide of Martin as the necessary consequence of the story. // By finishing the story and killing Martin, London finally detaches himself from Martin, reconstructs his self, and, unlike Martin, survives as a professional writer. In this sense, Martin Eden is a story about “writerʼs self-reconstruction.
Recommended from our members
Letter from Martin Chizzick
No full textCongratulations to Duane Pearsall for receiving the Enterpreneur of the Year award; note on the letter was written by Pearsall and it mentions that Martin, the author of the letter, died in a airplane accident
Robert Martin Tiffin's Mystery Man Newspaper Articles
No full textAdvertiser-Tribune newspaper clippings featuring a story about Robert Martin (written by Nancy Kleinhenz), a local author from Tiffin (Ohio) who wrote under the pseudonym of Lee Roberts, and two of his short stories. Martin wrote mystery novels in his spare time, creating more than 22 mystery novels. For more information about Robert Martin and a list of books go to http://www.mysteryfile.com/RMartin/JBennett.html
Preface Volume 29
No full textAbstractThis volume contains the proceedings of the 8th conference on Category Theory and Computer Science (CTCS '99) which was held in Edinburgh, UK, from September 10 to September 12, 1999.The purpose of the conference series is the advancement of the foundations of computing using the tools of category theory. While the emphasis is upon applications of category theory, it is recognized that the area is highly interdisciplinary.Previous meetings have been held in Guildford (Surrey), Edinburgh, Manchester, Paris, Amsterdam, Cambridge, and S. Margherita Ligure (Genova).Out of 39 submissions the Programme Committe has selected 19 for presentation at the Conference. The programme also included invited talks by Ryu Hasegawa (Tokyo), Peter Freyd (Pennsylvania), Marcelo Fiore (Sussex), Doug Smith (Kestrel Institute).We wish to thank the anonymous referees and the Programme Committee members: Jiri Adamek, Nick Benton, Rick Blute, Thierry Coquand, Martin Escardo, Masahito Hasegawa, Martin Hofmann (Chair), Peter O'Hearn, Dusko Pavlovic, Horst Reichel, Giuseppe Rosolini, Andre Scedrov.We also wish to thank the ENTCS editor Michael Mislove for encouragement and technical support
Special issue on practical development of exact real number computation
No full textJournal of Logic and Algebraic Programming, vol. 64, nb. 1, 154 pagesInternational audienceno abstrac
Notions of anonymous existence in Martin-Löf type theory
Get PDFAs the groupoid model of Hofmann and Streicher proves, identity proofs in intensional Martin-L\"of type theory cannot generally be shown to be unique. Inspired by a theorem by Hedberg, we give some simple characterizations of types that do have unique identity proofs. A key ingredient in these constructions are weakly constant endofunctions on identity types. We study such endofunctions on arbitrary types and show that they always factor through a propositional type, the truncated or squashed domain. Such a factorization is impossible for weakly constant functions in general (a result by Shulman), but we present several non-trivial cases in which it can be done. Based on these results, we define a new notion of anonymous existence in type theory and compare different forms of existence carefully. In addition, we show possibly surprising consequences of the judgmental computation rule of the truncation, in particular in the context of homotopy type theory. All the results have been formalized and verified in the dependently typed programming language Agda
Exhaustible sets in higher-type computation
Get PDFWe say that a set is exhaustible if it admits algorithmic universal
quantification for continuous predicates in finite time, and searchable if
there is an algorithm that, given any continuous predicate, either selects an
element for which the predicate holds or else tells there is no example. The
Cantor space of infinite sequences of binary digits is known to be searchable.
Searchable sets are exhaustible, and we show that the converse also holds for
sets of hereditarily total elements in the hierarchy of continuous functionals;
moreover, a selection functional can be constructed uniformly from a
quantification functional. We prove that searchable sets are closed under
intersections with decidable sets, and under the formation of computable images
and of finite and countably infinite products. This is related to the fact,
established here, that exhaustible sets are topologically compact. We obtain a
complete description of exhaustible total sets by developing a computational
version of a topological Arzela--Ascoli type characterization of compact
subsets of function spaces. We also show that, in the non-empty case, they are
precisely the computable images of the Cantor space. The emphasis of this paper
is on the theory of exhaustible and searchable sets, but we also briefly sketch
applications
Experiences Using Large Scale Video Walls for Distance Education
No full textWe describe our experiences building and using the Rutgers Videowall, a low-cost telepresence system that has been used teaching 15 courses and colloquia. By relaxing typical spatial telepresence features, such as background continuity, we greatly reduced costs and gained flexibility in the rooms it could be deployed in. The lower costs and room flexibility enabled academic departments to use the wall, in contrast to traditional telepresence systems which remained inaccessible. We found that the Videowall’s spatial distortions did not have a significant impact on useability, as our initial survey results show that students had an overall positive experience.Technical report DCS-tr-72
Hans Martin Schwarz Collection 1934 - 1938
No full textThis collection contains clippings of articles by Hans Martin Schwarz (1917, Hamburg – 2006, New York, better known as Martin Ebon), published between 1934 and 1938 in German-Jewish newspapers on a wide variety of subjects such as sports, emigration, the political situation in Germany, and religious attitudes of the young. It also contains reviews of his books "Einer wie Du und Ich" and "Heiteres, Besinnliches, Nachdenkliches."digitizedHans Martin Schwarz (1917, Hamburg – 2006, New York, better known as Martin Ebon), was a journalist and author. In Germany during the 1930s, he published in a variety of German-Jewish periodicals, primarily the Israelitisches Familienblatt. After immigrating to the United States in 1938, he changed his name to Martin Ebon, and published dozens of books in the areas of world affairs and parapsychology.Processe
- …
