scholarly journals Computational logic: its origins and applications

2018 ◽  
Vol 474 (2210) ◽  
pp. 20170872 ◽  
Author(s):  
Lawrence C. Paulson
Keyword(s):  
Nineteenth Century ◽  
Mathematical Reasoning ◽  
Software Systems ◽  
Computational Logic ◽  
Main Application ◽  
The Subject ◽  
Logical Formalism ◽  
Computable Functions

Computational logic is the use of computers to establish facts in a logical formalism. Originating in nineteenth century attempts to understand the nature of mathematical reasoning, the subject now comprises a wide variety of formalisms, techniques and technologies. One strand of work follows the ‘logic for computable functions (LCF) approach’ pioneered by Robin Milner, where proofs can be constructed interactively or with the help of users’ code (which does not compromise correctness). A refinement of LCF, called Isabelle, retains these advantages while providing flexibility in the choice of logical formalism and much stronger automation. The main application of these techniques has been to prove the correctness of hardware and software systems, but increasingly researchers have been applying them to mathematics itself.

العربية المقاربة المقاصديّة في ردّ ابن فودي على القادح في جلستهم الدعويّة

2018 ◽  
Vol 6 (3) ◽  
Author(s):  
Alawiye Abdulmumin Abdurrazzaq ◽  
Ahmad Wifaq Mokhtar ◽  
Abdul Manan Ismail
Keyword(s):  
Nineteenth Century ◽  
West Africa ◽  
Subject Matter ◽  
Analytical Methods ◽  
Men And Women ◽  
The Subject

This article is aimed to examine the extent of the application of Islamic legal objectives by Sheikh Abdullah bn Fudi in his rejoinder against one of their contemporary scholars who accused them of being over-liberal about the religion. He claimed that there has been a careless intermingling of men and women in the preaching and counselling gathering they used to hold, under the leadership of Sheikh Uthman bn Fudi (the Islamic reformer of the nineteenth century in Nigeria and West Africa). Thus, in this study, the researchers seek to answer the following interrogations: who was Abdullah bn Fudi? who was their critic? what was the subject matter of the criticism? How did the rebutter get equipped with some guidelines of higher objectives of Sharĩʻah in his rejoinder to the critic? To this end, this study had tackled the questions afore-stated by using inductive, descriptive and analytical methods to identify the personalities involved, define and analyze some concepts and matters considered as the hub of the study.

John Lloyd Williams (1854–1945): profile of a Snowdonian botanist

2006 ◽  
Vol 33 (1) ◽  
pp. 1-17
Author(s):  
Dewi Jones
Keyword(s):  
Nineteenth Century ◽  
Plant Physiology ◽  
Marine Algae ◽  
Plant Distribution ◽  
The Arctic ◽  
Late Nineteenth Century ◽  
Major Study ◽  
The Subject ◽  
Late Nineteenth

John Lloyd Williams was an authority on the arctic-alpine flora of Snowdonia during the late nineteenth century when plant collecting was at its height, but unlike other botanists and plant collectors he did not fully pursue the fashionable trend of forming a complete herbarium. His diligent plant-hunting in a comparatively little explored part of Snowdonia led to his discovering a new site for the rare Killarney fern (Trichomanes speciosum), a feat which was considered a major achievement at the time. For most part of the nineteenth century plant distribution, classification and forming herbaria, had been paramount in the learning of botany in Britain resulting in little attention being made to other aspects of the subject. However, towards the end of the century many botanists turned their attention to studying plant physiology, a subject which had advanced significantly in German laboratories. Rivalry between botanists working on similar projects became inevitable in the race to be first in print as Lloyd Williams soon realized when undertaking his major study on the cytology of marine algae.

Perpindahan dan Perubahan : Transportasi dalam Struktur Naratif Riwayat Perjalanan ke Amerika di Era Viktorian

Metahumaniora ◽  
2017 ◽  
Vol 7 (1) ◽  
pp. 1
Author(s):  
Ari J. Adipurwawijdana
Keyword(s):  
Nineteenth Century ◽  
Subject Matter ◽  
Henry James ◽  
World View ◽  
Democratic Society ◽  
Transportation Infrastructure ◽  
Material Base ◽  
Travel Narrative ◽  
Infrastructure System ◽  
The Subject

ABSTRAKRiwayat yang disajikan penulis Britania era Viktorian tentang perjalannnya ke Amerikamengasumsikan adanya sebuah jaringan prasarana transportasi. Sistem transportasiterkait dengan riwayat perjalanan (travel narrative) dalam tiga hal, yaitu (1) sebagaibasis material bagi perjalanan, (2) sebagai substruktur riwayat, dan (3) sebagai pokokpembicaraan dalam riwayat itu sendiri. Buku Domestic Manners of the Americans (1832)merupakan model bagi cara infrastruktur transportasi menentukan aspek naratologis,yaitu urutan dan perspektif dalam struktur naratif riwayat perjalanan. Karya tersebut jugamenyajikan transportasi sebagai pokok pembicaraan dalam teksnya itu sendiri walaupun tidaksejauh sebagaimana yang tampak pada The Amateur Emigrant (1895) karya Robert LouisStevenson. Dalam hal ini, The American Scene (1907) karya Henry James juga relevankarena, walaupun tidak secara gamblang membicarakan transportasi sebagai topik dantidak pula menampakkan ciri-ciri riwayat perjalanan, karya tersebut merepresentasicara wawasan Britania-Amerika trans-Atlantik dianggap sebagai sesuatu yang lumrah.Wawasan ini juga memandang menganggap perjalanan trans-Atlantik sebagai semacamperjalanan menembus waktu, yang menunjukkan ketidaknyaman para penulis Britaniaabad kesembilanbelas terhadap transformasi sosial ke masyrakat demokratis yangdirepresentasi secara metaforis oleh pemahaman mereka tentang Amerika.Kata kunci: catatan perjalanan Viktorian, transportasi, wisataABSTRACTNarratives presented by Victorian British writers about their travels to America assume theavailability of a transprtation infrastructure system. Such a system is related to the travelnarrative in three things, namely, (1) as a material base for travel, (2) as a narrative substructurehistory, and (3) as the subject-matter of the narratives. Fanny Trollope’s Domestic Mannerof the Americans (1832) is a model for the way transportation infrastructure determinesnarratological aspects, namely order and perspective in the structure of the travel narrative.The piece also presents transportation as a subject-matter in its text although it does notgo so far as do Robert Louis Stevenson’s The Amateur Emigrant (1895). In discussingtransportation Henry James’ The American Scene is also relevant because, despite it’s notexplicitly speaking of transportation as a topic nor does it show the convential characteristicsof the travel narrative, the work represents a British-American trans-Atlantic world viewas a given. This world view also considers trans-Atlantic travels as a kind of voyage acrosstime, implying the discomfort of nineteenth-century British writers concerning the socialtransition into a democratic society represented by America as a metaphor.Keywords: Victorian travel narrative, transportation, tourism

Historical Fragments’ Mobile Echo

Transfers ◽  
2017 ◽  
Vol 7 (2) ◽  
pp. 115-119 ◽  
Author(s):  
Susan E. Bell ◽  
Kathy Davis
Keyword(s):  
Nineteenth Century ◽  
Twentieth Century ◽  
Eighteenth Century ◽  
Cultural Revolution ◽  
Ming Dynasty ◽  
Third Century ◽  
Refugee Crisis ◽  
The Third ◽  
Opium War ◽  
The Subject

Translocation – Transformation is an ambitious contribution to the subject of mobility. Materially, it interlinks seemingly disparate objects into a surprisingly unified exhibition on mobile histories and heritages: twelve bronze zodiac heads, silk and bamboo creatures, worn life vests, pressed Pu-erh tea, thousands of broken antique teapot spouts, and an ancestral wooden temple from the Ming dynasty (1368–1644) used by a tea-trading family. Historically and politically, the exhibition engages Chinese stories from the third century BCE, empires in eighteenth-century Austria and China, the Second Opium War in the nineteenth century, the Chinese Cultural Revolution of the mid-twentieth century, and today’s global refugee crisis.

South Sea Tales

2008 ◽  
Author(s):  
Robert Louis Stevenson
Keyword(s):  
Nineteenth Century ◽  
Cross Cultural ◽  
Robert Louis Stevenson ◽  
Global Culture ◽  
Cultural Encounters ◽  
Post Colonial ◽  
The Pacific ◽  
South Sea ◽  
The Subject ◽  
Subject Material

The literary world was shocked when in 1889, at the height of his career, Robert Louis Stevenson announced his intention to settle permanently on the Pacific island of Samoa. His readers were equally shocked when he began to use the subject material offered by his new environment, not to promote a romance of empire, but to produce some of the most ironic and critical treatments of imperialism in nineteenth-century fiction. In these stories, as in his work generally, Stevenson shows himself to be a virtuoso of narrative styles: his Pacific fiction includes the domestic realism of ‘The Beach at Falesé, the folktale plots of ‘The Bottle Imp’ and ‘The Isle of Voices’, and the modernist blending of naturalism and symbolism in The Ebb-Tide. But beyond their generic diversity the stories are linked by their concern with representing the multiracial society of which their author had become a member. In this collection - the first to bring together all his shorter Pacific fiction in one volume - Stevenson emerges as a witness both to the cross- cultural encounters of nineteenth-century imperialism and to the creation of the global culture which characterizes the post-colonial world.

Genealogy of Colonial Discourse: Hindu Traditions and the Limits of European Representation

2009 ◽  
Vol 51 (3) ◽  
pp. 563-589 ◽  
Author(s):  
Raf Gelders
Keyword(s):  
Nineteenth Century ◽  
South Asian ◽  
Colonial Discourse ◽  
Colonial State ◽  
The Core ◽  
European Culture ◽  
Eastern Cultures ◽  
The Subject ◽  
Core Issues

In the aftermath of Edward Said's Orientalism (1978), European representations of Eastern cultures have returned to preoccupy the Western academy. Much of this work reiterates the point that nineteenth-century Orientalist scholarship was a corpus of knowledge that was implicated in and reinforced colonial state formation in India. The pivotal role of native informants in the production of colonial discourse and its subsequent use in servicing the material adjuncts of the colonial state notwithstanding, there has been some recognition in South Asian scholarship of the moot point that the colonial constructs themselves built upon an existing, precolonial European discourse on India and its indigenous culture. However, there is as yet little scholarly consensus or indeed literature on the core issues of how and when these edifices came to be formed, or the intellectual and cultural axes they drew from. This genealogy of colonial discourse is the subject of this essay. Its principal concerns are the formalization of a conceptual unit in the sixteenth and seventeenth centuries, called “Hinduism” today, and the larger reality of European culture and religion that shaped the contours of representation.

Commentary: A Stroll in the Piazza and a Night at the Opera

2006 ◽  
Vol 36 (4) ◽  
pp. 621-628
Author(s):  
Mary Ann Smart
Keyword(s):  
Nineteenth Century ◽  
National Identity ◽  
Civil Society ◽  
Social Engagement ◽  
Early Nineteenth Century ◽  
National Discourse ◽  
Music Journalism ◽  
The Subject ◽  
Giacomo Leopardi

Giacomo Leopardi was convinced that the willingness of Italians to wallow passively in operatic spectacle was an important reason for Italy's lack of a civil society based on debate and the exchange of opinions. Despite recent proposals that opera and opera going constituted signiªcant means of social engagement and contributed to regional and/or national identity, the preoccupations of early nineteenth-century music journalism suggest that opera existed outside the mainstream of both political and aesthetic debate, and was not yet the subject of a truly vibrant national discourse.

Romantic Periodicals in the Twenty-First Century

2020 ◽  
Keyword(s):  
Nineteenth Century ◽  
First Century ◽  
British Romanticism ◽  
Early Nineteenth Century ◽  
Periodical Studies ◽  
Digital Resources ◽  
Literary Periodicals ◽  
Late Eighteenth ◽  
The Subject ◽  
Twenty First Century

While the twenty-first century has brought a wealth of new digital resources for researching late eighteenth- and early nineteenth-century serials, the subfield of Romantic periodical studies has remained largely inchoate. This collection sets out to begin tackling this problem, offering a basic groundwork for a branch of periodical studies that is distinctive to the concerns, contexts and media of Britain’s Romantic age. Featuring eleven chapters by leading experts on the subject, it showcases the range of methodological, conceptual and literary-historical insights to be drawn from just one of the era’s landmark literary periodicals, Blackwood’s Edinburgh Magazine. Drawing in particular on the trove of newly digitised content, specific essays model how careful analyses of the incisive and often inflammatory commentary, criticism and original literature from Blackwood’s first two decades (1817–37) might inform and expand many of the most vibrant contemporary discussions surrounding British Romanticism.

Probability—the difficulties of definition.

1951 ◽  
Vol 10 (03) ◽  
pp. 204-212
Author(s):  
S. R. Searle
Keyword(s):  
Nineteenth Century ◽  
Sixteenth Century ◽  
Marine Insurance ◽  
Good System ◽  
Vital Importance ◽  
Fields Of Study ◽  
The Subject

Although the subject of probability is of such vital importance to insurance, no great detailed study was given to it until the sixteenth century. This was nearly two thousand years after the world's first insurance venture, that of Antimenes on behalf of Greek slave-owners against loss of their slaves (the early Greeks had also a good system of marine insurance). As in many fields of study, the early students of probability met with a great deal of opposition, which must have extended well into the nineteenth century, judging from the evidence of de Morgan's book of 1838.

Chicago's Mecca Flat Blues

1998 ◽  
Vol 57 (4) ◽  
pp. 382-403 ◽  
Author(s):  
Daniel Bluestone
Keyword(s):  
Nineteenth Century ◽  
Residential Buildings ◽  
Architectural History ◽  
Chicago School ◽  
Single Family ◽  
Domestic Ideology ◽  
Political Landscape ◽  
The Social ◽  
The Subject ◽  
Point Of Departure

This essay explores the Mecca, one of Chicago's largest nineteenth-century apartment houses. Designed in 1891, the Mecca's innovative plan incorporated an exterior landscaped courtyard and two monumental interior atria. The form and meaning of these spaces diverged in important respects. The exterior courtyards appropriated aspects of the single-family residential form and domestic ideology. The interior atria relied on Chicago skyscraper models and their cosmopolitan approach to the possibilities of density. Exterior courtyards later proliferated, while atria appeared in only two other local residential buildings. Nevertheless, the Mecca's atria possessed a sense of place that deeply etched the building into Chicago's cultural and political landscape. The building became the subject of 1920s blues improvisation-the "Mecca Flat Blues." In the 1940s and 1950s tenants waged a decadelong Mecca preservation campaign. Housing rather than Chicago School aesthetics provided the preservationists with their point of departure. Race interesected with space and Mies van der Rohe's vision of modern urbanism to seal the Mecca's fate. The essay's methodology develops the social and cultural meaning of form. Moreover, it demonstrates the importance of pushing architectural history beyond the nexus of meaning created by original patrons and designers. We stand to learn a great deal about architectural and urban history by studying how people have defined and redefined, valued and devalued, their buildings, cities, and landscapes.

Sign in / Sign up

Export Citation Format

Share Document