Relevant bibliographies by topics / Undecidable / Books
To see the other types of publications on this topic, follow the link: Undecidable.

Books on the topic 'Undecidable'

Author: Grafiati
Published: 4 June 2021
Last updated: 1 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 18 books for your research on the topic 'Undecidable.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse books on a wide variety of disciplines and organise your bibliography correctly.

1

Andrzej, Mostowski, and Robinson, Raphael M. (Raphael Mitchel), 1911-, eds. Undecidable theories. Mineola, N.Y: Dover Publications, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Groote, J. F. Undecidable equivalences for Basic Process Algebra. Edinburgh: University of Edinburgh, Laboratory for Foundations of Computer Science, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Hüttel, Hans. Undecidable equivalences for basic parallel processes. Edinburgh: LFCS, Dept. of Computer Science, University of Edinburgh, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

1945-, Doria Francisco A., and Costa, Newton C. A. da, eds. Gödel's way: Exploits into an undecidable world. Boca Raton: CRC Press, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Gödel, Kurt. On formally undecidable propositions ofPrincipia mathematica and related systems. New York: Dover Pubns., 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Gödel, Kurt. On formally undecidable propositions of Principia mathematica and related systems. New York, USA: Dover Publications, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Davis, Martin. The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions. Dover Publications, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

1928-, Davis Martin, ed. The undecidable: Basic papers on undecidable propositions, unsolvable problems, and computable functions. Mineola, NY: Dover Publication, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Chaitin, Gregory, Francisco A. Doria, and Newton C. A. da Costa. Goedel's Way: Exploits into an Undecidable World. Taylor & Francis Group, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Chaitin, Gregory, Francisco A. Doria, and Newton C. A. da Costa. Goedel's Way: Exploits into an Undecidable World. Taylor & Francis Group, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
11

Chaitin, Gregory, Francisco A. Doria, and Newton C. A. da Costa. Goedel's Way: Exploits into an Undecidable World. Taylor & Francis Group, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
12

Chaitin, Gregory, Francisco A. Doria, and Newton C. A. da Costa. Goedel's Way: Exploits into an Undecidable World. Taylor & Francis Group, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
13

Matthew, Johnson Clayton, ed. Limits of computation: An introduction to the undecidable and the intractable. 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
14

Borel Liftings of Borel Sets: Some Decidable and Undecidable Statements (Memoirs of the American Mathematical Society). Amer Mathematical Society, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
15

Wright, Cory, and Bradley Armour-Garb. Pluralism and the Liar. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780199896042.003.0014.

Full text
Abstract:
Pluralists maintain that there is more than one truth property in virtue of which bearers are true. Unfortunately, it is not yet clear how they diagnose the liar paradox or what resources they have available to treat it. This chapter considers one recent attempt by Cotnoir (2013b) to treat the Liar. It argues that pluralists should reject the version of pluralism that Cotnoir assumes, discourse pluralism, in favor of a more naturalized approach to truth predication in real languages, which should be a desideratum on any successful pluralist conception. Appealing to determination pluralism instead, which focuses on truth properties, it then proposes an alternative treatment to the Liar that shows liar sentences to be undecidable.
APA, Harvard, Vancouver, ISO, and other styles
16

Smullyan, Raymond M. Gödel's Incompleteness Theorems. Oxford University Press, 1992. http://dx.doi.org/10.1093/oso/9780195046724.001.0001.

Full text
Abstract:
Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable." His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame. In this introductory volume, Raymond Smullyan, himself a well-known logician, guides the reader through the fascinating world of Godel's incompleteness theorems. The level of presentation is suitable for anyone with a basic acquaintance with mathematical logic. As a clear, concise introduction to a difficult but essential subject, the book will appeal to mathematicians, philosophers, and computer scientists.
APA, Harvard, Vancouver, ISO, and other styles
17

Hinds, Hilary. Sarah Jones and the Appearance of the Quaker Light. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198814221.003.0002.

Full text
Abstract:
This chapter focuses on a three-page pamphlet by Sarah Jones, This is Lights Appearance in the Truth (1650), often discussed as a proto-Quaker statement written before the movement cohered and achieved critical mass in 1652–3. It reviews the available evidence regarding the pamphlet’s date of publication and the identity of its author, to conclude that these are almost entirely undecidable. In the absence of such authorizing details, the chapter proposes an alternative method of discussing the importance of this pamphlet to early Quaker history and theology, rooted in an attentive textual and contextual close reading of the pamphlet. It argues that this history is as discernible in the structure and idiom of the text itself without need for recourse to the author-figure or publication history.
APA, Harvard, Vancouver, ISO, and other styles
18

Kamuf, Peggy. Literature and the Remains of the Death Penalty. Fordham University Press, 2018. http://dx.doi.org/10.5422/fordham/9780823282302.001.0001.

Full text
Abstract:
This book pursues Derrida’s assertion, in The Death Penalty, Volume I, that “the modern history of the institution named literature in Europe over the last three or four centuries is contemporary with and indissociable from a contestation of the death penalty.” The main question this book poses is: How does literature contest the death penalty today, particularly in the United States where it remains the last of its kind, a Christian-inspired death penalty in what professes to be a democracy? What resources do fiction, narrative, and poetic language supply in the age of the remains of the death penalty? These are among the questions that guide the analyses of four literary works, each a depiction or an account of an execution, in the search for deconstructive leverage on the concepts that prop up capital punishment. Different pertinent features are isolated in these texts: the “mysteries” of literary or poetic witness; the publicness of punishment in an era of secrecy around the death penalty; the undecidable difference between death by capital punishment and by suicide—a difference that Kant enforces and that Derrida contests; and even the collapse of the distinction between the sovereign powers to put to death and to pardon, a possibility that is shown up by a poetic work when, performatively, it “plays the law.” In relation to the death penalties they represent, these literary survivals may be seen as the ashes or remains of the phantasm that the death penalty has always been, the phantasm of calculating and thus ending finitude.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Undecidable' for other source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography