E. W. Beth. On machines which prove theorems. Simon Stevin, vol. 32 (1958), pp. 49–60

Journal of Symbolic Logic 34 (4):659-659 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270891

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: E. W. Beth, On Machines which Prove Theorems. [REVIEW]D. C. Cooper - 1969 - Journal of Symbolic Logic 34 (4):659-659.
Some dichotomy theorems for isomorphism relations of countable models.Su Gao - 2001 - Journal of Symbolic Logic 66 (2):902-922.
On a certain class ofm-address machines.Jerzy Ejsmund - 1971 - Studia Logica 28 (1):131 - 137.
Machines Over the Reals and Non‐Uniformity.Felipe Cucker - 1997 - Mathematical Logic Quarterly 43 (2):143-157.
Do the Laws of Physics Forbid the Operation of Time Machines?John Earman, Chris Smeenk & Christian Wüthrich - 2009 - Synthese 169 (1):91 - 124.
Three theorems of Godel.Andrew Boucher - manuscript
Metamathematics, machines, and Gödel's proof.N. Shankar - 1994 - New York: Cambridge University Press.
Arithmetical interpretations and Kripke frames of predicate modal logic of provability.Taishi Kurahashi - 2013 - Review of Symbolic Logic 6 (1):1-18.
Representation Theorems for Quantales.Silvio Valentini - 1994 - Mathematical Logic Quarterly 40 (2):182-190.
Mathematical realism and gödel's incompleteness theorems.Richard Tieszen - 1994 - Philosophia Mathematica 2 (3):177-201.
Some theorems on structural entailment relations.Janusz Czelakowski - 1983 - Studia Logica 42 (4):417 - 429.
Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.
Post’s Problem for ordinal register machines: An explicit approach.Joel David Hamkins & Russell G. Miller - 2009 - Annals of Pure and Applied Logic 160 (3):302-309.
Outlawing time machines: Chronology protection theorems. [REVIEW]John Earman - 1995 - Erkenntnis 42 (2):125 - 139.
Modal logic over finite structures.Eric Rosen - 1997 - Journal of Logic, Language and Information 6 (4):427-439.

Analytics

Added to PP
2015-02-05

Downloads
26 (#592,813)

6 months
7 (#425,192)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Are tableaux an improvement on truth-tables?Marcello D'Agostino - 1992 - Journal of Logic, Language and Information 1 (3):235-252.
The ubiquity of background knowledge.Jaap Kamps - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 84 (1):317-337.

Add more citations

References found in this work

No references found.

Add more references