Colin Farrington, Director, Victoria McKee, Robin Oakley and Philip Webster, Frances Gibb, Legal Affairs Correspondent, Graham Rock, Robin Oakley and Juan Carlos Gumucio, Anne Billson, Jon Leyne, Donna Anderson Peking, John Manduca, Gordon Allan, Derek Kingsbury, Mark Souster, Ronald Faux, David Rhys Jones, Cliff Feltham, David Hands and Alan Lorimer, Qamar Ahmed, Philip Howard, John Bell, City Editor, Lynda Chalker, John Miller, Barry Fox reports, Michael Binyon, Jeremy Kingston, Ian Downes, George Sivell, Zahid Hussein, Karachi, and a Correspondent, Geraldine Foy, Stuart Jones Football Correspondent, HRH Prince Edward, Mario Modiano, Roddy Forsyth, Colin Narbrough, Margareta Pagano, George Alexander, Pip Newton, Michael Seely Racing Correspondent, Joe Joseph, Bernard Levin, Ian Glick, Peter Thurnham Chairman, Henry Gee, Jim Railton, Stuart Jones, Sam Kiley Higher Education Reporter, Michael Tate, Alfred Sherman, Louise Taylor, Peter Ackroyd, Peter Waymark, Peter Bills, Alan Hamilton, Heywood Williams, Mac Margolis, , Michael Horsnall and Paul Vallely, J. P. Collis, Director General, , C. G. Greenough, Woodrow Wyatt, Richard Ford Stewart Tendler and Peter Evans, Richard Thomson, Banking Correspondent, Peter Davenport and Stewart Tendler, Martin Fletcher Political Reporter, Simon Tait, I. D. Peacock Executive Director, Leslie Tilley, Harvey Elliott, Air Correspondent, George Rae, Peter Hardiman Scott, Gavin Bell, Sydney Friskin, David Smith, Economics Correspondent, Dennis Signy, David Miller, Michael Tate, Deputy City Editor, Duncan Clarke, David Watts, Robin Oakley, Political Editor, Simon Tait Arts Correspondent, David Robinson, Dr B. A. Austin, Nicholas Beeston, Raymond Keene, Chess Correspondent, Paul F. Taylor, Paul Griffiths, David Chappell, Peter Bryan, Liz Gill, Richard Evans, Jamie Dettmer Irish Affairs Correspondent, Robert Matthews, Mark Herbert, Craig Seton, David Young, Energy Correspondent, Irving Wardle, Ronald Butt, Geoffrey Foster, David Sapsted, Stewart Tendler, Michael Hornsby, Agriculture Correspondent, David Hands Rugby Correspondent, Jamie Dettmer, David Brewerton, Christopher Thomas, John Goodbody, Philip Webster Chief Political Correspondent, Andrew Sinclair, Martyn Bond, Mel Webb, Srikumar Sen Boxing Correspondent, Clive White, Matthew Parris, Graham Searjeant Financial Editor, Judith Cruickshank, Andrew N. Bird, Sarah Jane Checkland Art Market Correspondent, R. A. Whelpton, Simon Stenhouse, Michael Austin, Sarah Jane Checkland, G. E. Powderham (Managing Director), , Michael Clark and Geoffrey Foster, Tony Dawe, Michael Dynes, Graham Searjeant, Martin Waller, Alan Coren, Bailey Morris, Rodney Cowton, Nicholas Wood and Tony Dawe, Derek Harris Industrial Editor, Derek Hill, Pearce Wright, Science Editor, Mac Margolis, Thomas Stuttaford, N. Upson, David Young Energy Correspondent, Colin McQuillan, Vivien Goldsmith, Family Money Editor, Ian K. R. Wilson,
... waits on remuneration Catterick results Monitoring new hurdles Smullyan best New ruling on blood dope issue Davies ...
1989 - Gale Group | TDA
... 86-90 TREES AND BALL GAMES Raymond M. Smullyan, Raymond M. Smullyan Department of Mathematics Herbert H. Lehman ... for more papers by this author Raymond M. Smullyan, Raymond M. Smullyan Department of Mathematics Herbert H. Lehman College City ...
Tópico(s): Forest ecology and management
1979 - Wiley | Annals of the New York Academy of Sciences
... p. 143-147 Article Undecidability and recursive inseparability† Raymond M. Smullyan, Raymond M. Smullyan PrincetonSearch for more papers by this author Raymond M. Smullyan, Raymond M. Smullyan PrincetonSearch for more papers by this author First ...
Tópico(s): Computability, Logic, AI Algorithms
1958 - Wiley | Mathematical logic quarterly
... 219-224 Article Theories with Effectively Inseparable Nuclei Raymond M. Smullyan, PrincetonSearch for more papers by this author Raymond M. Smullyan, PrincetonSearch for more papers by this author First ...
Tópico(s): Game Theory and Voting Systems
1960 - Wiley | Mathematical logic quarterly
Martin J. Chlond, Cath M. Toase,
... well drilled. This paper presents the puzzles of Raymond Smullyan as a rich source of examples for the ...
Tópico(s): History of Computing Technologies
2003 - Institute for Operations Research and the Management Sciences | INFORMS Transactions on Education
... 11-13 When I Was a Boy Raymond Smullyan, Raymond Smullyan Raymond Smullyan is a professor of philosophy at Indiana ... Search for more papers by this author Raymond Smullyan, Raymond Smullyan Raymond Smullyan is a professor of philosophy at Indiana University, ...
Tópico(s): Publishing and Scholarly Communication
1983 - Wiley | The Sciences
This paper treats of semantical systems S of sufficient strength so that for any set W definable in S (in a sense which will be made precise), there must exist a sentence X which is true in S if and only if it is an element of W . We call such an X a Tarski sentence for W . It is the sentence which (in a purely extensional sense) says of itself that it is in W . If W is the set of all expressions not provable in some syntactical system C , then X is the Gödel sentence which is true (in S ) if and only if it ...
Tópico(s): Logic, Reasoning, and Knowledge
1957 - Cambridge University Press | Journal of Symbolic Logic
RAYMOND M
Tópico(s): Computability, Logic, AI Algorithms
1963 - American Mathematical Society | Transactions of the American Mathematical Society
Tópico(s): Advanced Topics in Algebra
1963 - Mathematical Society of Japan | Journal of the Mathematical Society of Japan
Tópico(s): Advanced Statistical Process Monitoring
1963 - National Academy of Sciences | Proceedings of the National Academy of Sciences
Hilary Putnam, Raymond M. Smullyan,
Tópico(s): Logic, Reasoning, and Knowledge
1960 - American Mathematical Society | Proceedings of the American Mathematical Society
In this devilishly fun new puzzle book, Raymond Smullyan, the grand master of the logic puzzle, lends a helpinghand to from the Arabian Nights. Fresh from the perils of the original thousand- ...
Tópico(s): Historical Astronomy and Related Studies
1998 - Association of College and Research Libraries | Choice Reviews Online
... does not contain any infinite, recursively enumerable set. Raymond Smullyan calls a recursively enumerable set W effectively simple ...
Tópico(s): Logic, programming, and type systems
1964 - American Mathematical Society | Proceedings of the American Mathematical Society
... and developed by the logician and riddle-master Raymond Smullyan (1978) — each of the inhabitants is either a ...
Tópico(s): Logic, Reasoning, and Knowledge
2003 - De Gruyter | Semiotica
... in mathematics at Princeton, where my supervisor was Raymond Smullyan, and a graduate degree in philosophy at Oxford, ...
Tópico(s): Advanced Algebra and Logic
1984 - Taylor & Francis | American Mathematical Monthly
... DIVISION OF MATHEMATICS: ON TRANSFINITE RECURSIONS*,† Raymond M. Smullyan, Raymond M. Smullyan Belfer Graduate School of Science, Yeshiva ... for more papers by this author Raymond M. Smullyan, Raymond M. Smullyan Belfer Graduate School of Science, Yeshiva University, New ...
Tópico(s): History and Theory of Mathematics
1965 - Wiley | Transactions of the New York Academy of Sciences
... the editor of Four Lives: A Celebration of Raymond Smullyan published by Dover. The idea for this paper ...
Tópico(s): Classical Antiquity Studies
2014 - Taylor & Francis | College Mathematics Journal
Tópico(s): Pragmatism in Philosophy and Education
2005 - Taylor & Francis | Math Horizons
We use the word to mean positive integer, and to mean set of positive integers. A set a is called simple (after Post [1 ]) iff a is r.e. (recursively enumerable), infinite, and its complement &x, though infinite, contains no infinite recursively enumerable subset. We shall call a set a effectively simple if a and its complement are infinite, a is r.e., and there exists a recursive function a(x) such that for any number i for which wi is disjoint from a, the number a(i) is greater than the number of elements ...
Tópico(s): semigroups and automata theory
1964 - American Mathematical Society | Proceedings of the American Mathematical Society
We consider some natural deduction systems for quantification theory whose only quantificational rules involve elimination of quantifiers. By imposing certain restrictions on the rules, we obtain a system which we term Analytic Natural Deduction ; it has the property that the only formulas used in the proof of a given formula X are either subformulas of X , or negations of subformulas of X . By imposing further restrictions, we obtain a canonical procedure which is bound to terminate, if the formula being ...
Tópico(s): Homotopy and Cohomology in Algebraic Topology
1965 - Cambridge University Press | Journal of Symbolic Logic
Anil Nerode, Raymond M. Smullyan,
Reviews - Evert W. Beth. The foundations of mathematics, A study in the philosophy of science. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, XXVI + 741 pp. - Volume 27 Issue 1
Tópico(s): History of Science and Medicine
1962 - Cambridge University Press | Journal of Symbolic Logic
This paper is a sequel to [1]. Our purpose is to exhibit certain basic relationships between (ordered dyadic) trees and regular nest structures. We introduce the notion of a tree being isomorphic to a nest structure, and we study some necessary and sufficient conditions for the existence of such isomorphisms. By virtue of some of our results, Kónig's lemma on infinite trees, and our fundamental lemma of [1] concerning infinite regular nest structures become intimately related — either yields an alternative ...
Tópico(s): Advanced Topology and Set Theory
1966 - Cambridge University Press | Journal of Symbolic Logic
Raymond M. Smullyan, Kurt Gödel, Bernard D. Meltzer, John Braithwaite,
Tópico(s): Computability, Logic, AI Algorithms
1966 - Taylor & Francis | American Mathematical Monthly
The real importance of cut-free proofs is not the elimination of cuts per se, but rather that such proofs obey the subformula principle. In this paper we accomplish this latter objective in a different manner. In the usual formulations of Gentzen systems, there is only one axiom scheme; all the other postulates are inference rules. By contrast, we consider here some Gentzen type axiom systems for propositional logic and Quantification Theory in which there is only one inference rule; all the other ...
Tópico(s): Logic, programming, and type systems
1969 - Cambridge University Press | Journal of Symbolic Logic
George Boolos, Raymond M. Smullyan,
Tópico(s): Cognitive Science and Education Research
1980 - Duke University Press | The Philosophical Review
George Boolos, Raymond M. Smullyan,
Tópico(s): Cognitive Science and Education Research
1979 - Duke University Press | The Philosophical Review
Stewart Shapiro, Raymond M. Smullyan,
The Lady or the Tiger? is a series of logic puzzles, ranging from the simplest problems to the most complex. An array of imaginary characters -- sane and insane vampires, psychiatrists, dreamers, hermits, kings, knights, knaves -- pose questions.
Tópico(s): Families in Therapy and Culture
1985 - Taylor & Francis | American Mathematical Monthly
1988 - Cambridge University Press | Journal of Symbolic Logic
Tópico(s): Fixed Point Theorems Analysis
1991 - Springer Science+Business Media | Studia Logica
I Introduction to Self-Reference and Recursion 1. Introduction to self-reference 2. Some classical fixed point argument compared 3. How to silence a universale machine 4. Some general incompleteness theorems 5. Self-reference in arithmetic 6. Introduction to formal systems and recursion 7. A universal system and its applications II Systems with Effective Properties 8. Arithmetization of formal systems 9. Elementary formal systems and incompleteness proofs 10. Doubly indexed relational systems 11. ...
Tópico(s): Advanced Algebra and Logic
1995 - Association of College and Research Libraries | Choice Reviews Online