On Mathematicians Who Liked Logic

In S. Barry Cooper (ed.), How the World Computes. pp. 245--252 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship.I. Grattan-Guinness - 1999 - History and Philosophy of Logic 20 (3-4):159-167.
Which Mathematical Logic is the Logic of Mathematics?Jaakko Hintikka - 2012 - Logica Universalis 6 (3-4):459-475.
Logic for mathematicians.Alan G. Hamilton - 1978 - New York: Cambridge University Press.
The Reception of Godel's 1931 Incompletability Theorems by Mathematicians, and Some Logicians, to the Early 1960s.Ivor Grattan-Guinness - 2011 - In Matthias Baaz (ed.), Kurt Gòˆdel and the foundations of mathematics: horizons of truth. New York: Cambridge University Press. pp. 57.
On Mathematicians' Different Standards When Evaluating Elementary Proofs.Matthew Inglis, Juan Pablo Mejia-Ramos, Keith Weber & Lara Alcock - 2013 - Topics in Cognitive Science 5 (2):270-282.
The mathematical turns in logic.Ivor Grattan-Guinness - 2004 - In Dov M. Gabbay, John Woods & Akihiro Kanamori (eds.), Handbook of the History of Logic. Elsevier. pp. 3--545.
What Do Mathematicians Want? Probabilistic Proofs and the Epistemic Goals of Mathematicians.Don Fallis - 2002 - Logique Et Analyse 45.
Review: George Boole, Ivor Grattan-Guinness, Gerard Bornet, Selected Manuscripts on Logic and Its Philosophy. [REVIEW]Theodore Hailperin - 1998 - Journal of Symbolic Logic 63 (1):332-333.
Psychology in the foundations of logic and mathematics: the cases of boole, cantor and brouwer.I. Grattan-Guinness - 1982 - History and Philosophy of Logic 3 (1):33-53.
Review: J. Barkley Rosser, Logic for Mathematicians. [REVIEW]A. Robinson - 1953 - Journal of Symbolic Logic 18 (4):326-327.
Review: J. Barkley Rosser, Logic for Mathematicians. [REVIEW]H. B. Enderton - 1980 - Journal of Symbolic Logic 45 (3):631-632.
Review: A. G. Hamilton, Logic for Mathematicians. [REVIEW]W. A. Howard - 1980 - Journal of Symbolic Logic 45 (2):379-380.
Logic for mathematicians.J. Barkley Rosser - 1978 - Mineola, N.Y.: Dover Publications.

Analytics

Added to PP
2014-01-28

Downloads
8 (#1,312,052)

6 months
3 (#961,692)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
Introduction to logic and to the methodology of deductive sciences.Alfred Tarski - 1946 - New York: Dover Publications. Edited by Jan Tarski.
Cantorian Set Theory and Limitation of Size.Michael Hallett - 1984 - Oxford, England: Clarendon Press.

View all 8 references / Add more references