Registrati | Log in | FAQ      [?] 
Recent | Recommended | Search | Authors | Tags | Export

Group: LogicPhilMath - library [92 articles]

Recent papers posted by members of the LogicPhilMath group
  • Never say never
    Topoi, Vol. V13, No. 2. (1994), pp. 135-145.
    by Timothy Williamson
    posted to no-tag by rzach to the group LogicPhilMath on 2007-02-23 17:00:19 as ****
  • What's so special about Kruskal's theorem and the ordinal [Gamma]o? A survey of some results in proof theory
    Annals of Pure and Applied Logic, Vol. 53, No. 3. (19 September 1991), pp. 199-260.
    by Gallier
    posted to proof_theory by rzach to the group LogicPhilMath on 2006-12-25 17:56:23 as read
  • After Godel
    Logic Journal of the IGPL, Vol. 14, No. 5. (October 2006), pp. 745-754.
    by Putnam, Hilary
    posted to no-tag by rzach to the group LogicPhilMath on 2006-12-19 14:24:04 as **
  • Naming and Diagonalization, from Cantor to Godel to Kleene
    Logic Journal of the IGPL, Vol. 14, No. 5. (October 2006), pp. 709-728.
    by Gaifman, Haim
    posted to no-tag by rzach to the group LogicPhilMath on 2006-12-19 14:23:40 as **
  • Mathematical Method and Proof
    Synthese, Vol. 153, No. 1. (November 2006), pp. 105-159.
    by Avigad, Jeremy
    posted to philosophy_of_mathematics by rzach to the group LogicPhilMath on 2006-12-05 11:56:03 as ***
  • Epsilon Calculi
    Logic Journal of the IGPL, Vol. 14, No. 4. (August 2006), pp. 535-590.
    by Slater, Barry Hartley
    posted to epsilon by rzach to the group LogicPhilMath on 2006-12-05 11:54:06 as ***
  • The Logic of Curry and Church
    (2006)
    by Jonathan P Seldin
    posted to church curry history_of_logic lambda_calculus by rzach to the group LogicPhilMath on 2006-02-12 05:12:29 as *** along with 1 person greg_restall
  • The Impact of the Lambda Calculus in Logic and Computer Science
    The Bulletin of Symbolic Logic, Vol. 3, No. 2. (1997), pp. 181-215.
    by Henk Barendregt
    posted to church history_of_logic lambda_calculus by rzach to the group LogicPhilMath on 2006-02-12 05:04:09 as *****
  • Recursive functions of symbolic expressions and their computation by machine, Part I
    Commun. ACM, Vol. 3, No. 4. (April 1960), pp. 184-195.
    by John Mccarthy
    posted to lisp programming_languages by rzach to the group LogicPhilMath on 2006-02-08 23:58:45 as read along with 4 people egh thsutton lop mxp
  • History of Lisp
    (1979)
    by John Mccarthy
    posted to lisp programming_languages by rzach to the group LogicPhilMath on 2006-02-08 23:32:40 as read
  • Self-Knowledge and "Inner Sense": Lecture II: The Broad Perceptual Model
    Philosophy and Phenomenological Research, Vol. 54, No. 2. (1994), pp. 271-290.
    by Sydney Shoemaker
    posted to shoemaker by rzach to the group LogicPhilMath on 2005-11-28 06:28:20 as ** along with 1 person MorganHill
  • Self-Knowledge and "Inner Sense": Lecture I: The Object Perception Model
    Philosophy and Phenomenological Research, Vol. 54, No. 2. (1994), pp. 249-269.
    by Sydney Shoemaker
    posted to shoemaker by rzach to the group LogicPhilMath on 2005-11-28 06:27:53 as ** along with 1 person MorganHill
  • Logic and Meaning: The Philosophical Significance of the Sequent Calculus
    by Michael Kremer
    posted to gentzen philosophy_of_logic proof_theory sequent_calculus by rzach to the group LogicPhilMath on 2005-11-21 13:52:43 as *** along with 1 person greg_restall
  • Supervaluationism and Its Logics
    (2005)
    by Achille Varzi
    posted to logic philosophy_of_logic supervaluationism vagueness by rzach to the group LogicPhilMath on 2005-10-27 19:28:13 as *** along with 1 person greg_restall
  • Proofstyle and Understanding in Mathematics I: Visualization, Unification and Axiom Choice
    (2005)
    by Jamie Tappenden
    edited by Paolo Mancosu, Klaus F Jørgensen, Stig A Pedersen
    posted to explanation philosophy_of_mathematics by rzach to the group LogicPhilMath on 2005-10-23 04:49:05 as read along with 2 people and 1 group greg_restall Kevembuangga Impending_AI_breakthrough
  • Kant, Bolzano, and the Emergence of Logicism
    The Journal of Philosophy, Vol. 79, No. 11. (1982), pp. 679-689.
    by Alberto Coffa
    posted to analytic_philosophy bolzano frege history_of_logic kant logicism by rzach to the group LogicPhilMath on 2005-09-20 05:07:50 as read along with 1 person greg_restall
  • On mathematical instrumentalism
    Journal of Symbolic Logic, Vol. 70, No. 3. (2005), pp. 778-794.
    by Patrick Caldon, Aleksandar Ignjatović
    posted to hilberts_program proof_theory reverse_mathematics by rzach to the group LogicPhilMath on 2005-09-15 16:42:26 as read
  • A System of Axioms for Geometry
    Transactions of the American Mathematical Society, Vol. 5, No. 3. (1904), pp. 343-384.
    by Oswald Veblen
    posted to history_of_logic by rzach to the group LogicPhilMath on 2005-09-05 02:14:55 as ** along with 1 person and 2 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research
  • A Cut-Free Gentzen Formulation of the Modal Logic S5
    Logic Journal of the IGPL, Vol. 8, No. 5. (2000), pp. 629-643.
    by Torben Braüner
    posted to proof_theory by rzach to the group LogicPhilMath on 2005-08-07 22:34:11 as ** along with 1 person greg_restall
  • A Note on Linear Kripke Models
    Journal of Logic and Computation, Vol. 15, No. 4. (August 2005), pp. 489-506.
    by Rosalie Iemhoff
    posted to no-tag by rzach to the group LogicPhilMath on 2005-08-07 22:32:50 as **
  • Uniform Proof Complexity
    Journal of Logic and Computation, Vol. 15, No. 4. (August 2005), pp. 433-446.
    by Arnold Beckmann
    posted to proof_theory by rzach to the group LogicPhilMath on 2005-08-07 22:32:08 as ** along with 1 person johannsen
  • Learning Logical Tolerance: Hans Hahn on the Foundations of Mathematics
    History and Philosophy of Logic, Vol. 26, No. 3. (September 2005), pp. 175-209.
    by Thomas Uebel
    posted to logic philosophy_of_mathematics by rzach to the group LogicPhilMath on 2005-08-07 22:31:22 as ** along with 1 person greg_restall
  • On arithmetic in the Cantor- Åukasiewicz fuzzy set theory
    Archive for Mathematical Logic, Vol. 44, No. 6. (2005), pp. 763-782.
    by Petr Hã¡jek
    posted to fuzzy_logic lukasiewicz_logic by rzach to the group LogicPhilMath on 2005-08-04 23:04:25 as *** along with 1 person greg_restall
  • Michael Potter, Reason's Nearest Kin
    (2002)
    by S Shieh
    posted to no-tag by rzach to the group LogicPhilMath on 2005-07-14 15:48:09 as ***
  • A non-arithmetical Godel logic
    Logic Journal of the IGPL, Vol. 13, No. 4. (July 2005), pp. 435-441.
    by Petr Hajek
    posted to fuzzy_logic godel_logic by rzach to the group LogicPhilMath on 2005-07-01 09:32:39 as **
  • Deflating the Conservativeness Argument
    The Journal of Philosophy, Vol. 96, No. 10. (1999), pp. 533-540.
    by Hartry Field
    posted to field philosophy_of_mathematics by rzach to the group LogicPhilMath on 2005-06-27 17:01:17 as **
  • Conservativeness and Incompleteness
    The Journal of Philosophy, Vol. 80, No. 9. (1983), pp. 521-531.
    by Stewart Shapiro
    posted to field godel nominalism philosophy_of_mathematics by rzach to the group LogicPhilMath on 2005-06-27 16:57:12 as read along with 1 person madzic
  • Vagueness and Mathematical Precision
    Mind, Vol. 111, No. 442. (April 2002), pp. 225-248.
    by RT Cook
    posted to fuzzy_logic vagueness by rzach to the group LogicPhilMath on 2005-06-22 12:26:37 as read
  • Diagonalisation and Church's Thesis: Kleene's Homework
    History and Philosophy of Logic, Vol. 26, No. 2. (May 2005), pp. 93-113.
    by Enrique Alonso, Maria Manzano
    posted to church history_of_logic kleene by rzach to the group LogicPhilMath on 2005-06-16 16:35:35 as ** along with 1 person and 2 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research
  • An ordinal analysis of stability
    Archive for Mathematical Logic, Vol. 44, No. 1. (January 2005), pp. 1-62.
    by Michael Rathjen
    posted to foundations proof_theory by rzach to the group LogicPhilMath on 2005-06-09 17:59:20 as ** along with 1 person htowsner
  • An ordinal analysis of parameter free Π<sup>1</sup><sub>2</sub>-comprehension
    Archive for Mathematical Logic, Vol. 44, No. 3. (April 2005), pp. 263-362.
    by Michael Rathjen
    posted to foundations proof_theory by rzach to the group LogicPhilMath on 2005-06-09 17:57:06 as ** along with 1 person htowsner
  • Incompleteness, Mechanism, and Optimism
    The Bulletin of Symbolic Logic, Vol. 4, No. 3. (1998), pp. 273-302.
    by Stewart Shapiro
    posted to godel lucas mechanism by rzach to the group LogicPhilMath on 2005-06-09 00:28:51 as read along with 1 person greg_restall
  • The Russellian Influence on Hilbert and his School
    Synthese, Vol. 137, No. 1 - 2. (November 2003), pp. 59-101.
    by Paolo Mancosu
    posted to behmann hilbert hilberts_program history_of_logic principia_mathematica russell by rzach to the group LogicPhilMath on 2005-06-08 23:23:17 as read along with 2 people and 2 groups A_Olympia greg_restall Philosophy_of_Information Blog_and_Wiki_Research
  • Hilbert's Program Revisited
    Synthese, Vol. 137, No. 1 - 2. (November 2003), pp. 157-177.
    by Panu Raatikainen
    posted to godel hilbert hilberts_program hsitor_of_logic philosophy_of_mathematics by rzach to the group LogicPhilMath on 2005-06-08 21:21:19 as read
  • The Frege-Hilbert Controversy
    Philosophy and Phenomenological Research, Vol. 34, No. 3. (1974), pp. 386-403.
    by Michael D Resnik
    posted to frege hilbert philosophy_of_mathematics by rzach to the group LogicPhilMath on 2005-06-07 14:26:53 as read
  • On the scheme of induction for bounded arithmetic formulas
    Annals of Pure and Applied Logic, Vol. 35 (1987), pp. 261-302.
    by A Wilkie, J Paris
    posted to arithmetic godel by rzach to the group LogicPhilMath on 2005-05-31 00:25:45 as ** along with 1 person yoriyuki
  • The Logic of Provability
    by George S Boolos
    posted to arithmetic godel by rzach to the group LogicPhilMath on 2005-05-31 00:08:25 as read
  • Godel's Second Incompleteness Theorem for Q
    The Journal of Symbolic Logic, Vol. 41, No. 2. (1976), pp. 503-512.
    by A Bezboruah, JC Shepherdson
    posted to arithmetic godel kreisel logic by rzach to the group LogicPhilMath on 2005-05-30 18:08:33 as read
  • Cuts, Consistency Statements and Interpretations
    The Journal of Symbolic Logic, Vol. 50, No. 2. (1985), pp. 423-441.
    by Pavel Pudlak
    posted to arithmetic godel logic by rzach to the group LogicPhilMath on 2005-05-30 18:05:38 as read
  • A note on Hajek, Paris and Shepherdson's theorem
    Logic Journal of the IGPL, Vol. 13, No. 2. (March 2005), pp. 261-266.
    by Shunsuke Yatabe
    posted to lukasiewicz_logic many-valued_logic by rzach to the group LogicPhilMath on 2005-05-27 23:47:59 as **
  • True, Truer, Truest
    Philosophical Studies, Vol. 123, No. 1-2. (March 2005), pp. 47-70.
    by Brian Weatherson
    posted to vagueness by rzach to the group LogicPhilMath on 2005-05-14 18:44:55 as read along with 2 people and 1 group greg_restall ketangli ur-cls
  • Skolem's Discovery of Gödel-Dummett Logic
    Studia Logica, Vol. 73, No. 1. (February 2003), pp. 153-157.
    by Jan von Plato
    posted to godel_logic history_of_logic by rzach to the group LogicPhilMath on 2005-05-07 03:40:33 as ** along with 1 person greg_restall
  • A proof-theoretical investigation of global intuitionistic (fuzzy) logic
    Archive for Mathematical Logic, Vol. 44, No. 4. (May 2005), pp. 435-457.
    by Agata Ciabattoni
    posted to godel_logic hypersequents logic proof_theory by rzach to the group LogicPhilMath on 2005-05-07 03:08:51 as **
  • Epsilon substitution for transfinite induction
    Archive for Mathematical Logic, Vol. 44, No. 4. (May 2005), pp. 397-412.
    by Henry Towsner
    posted to epsilon proof_theory by rzach to the group LogicPhilMath on 2005-05-07 03:07:25 as ***
  • Are there Genuine Mathematical Explanations of Physical Phenomena?
    Mind, Vol. 114, No. 454. (April 2005), pp. 223-238.
    by Alan Baker
    posted to philosophy_of_mathematics by rzach to the group LogicPhilMath on 2005-04-22 14:16:45 as ** along with 1 person and 1 group qwermish Philosophy of physics
  • Last doubts removed about the proof of the Four Color Theorem
    (2005)
    by Keith Devlin
    posted to four_color_theorem by rzach to the group LogicPhilMath on 2005-04-22 02:52:52 as **
  • The Four Color Theorem
    (1995)
    by Neil Robertson, Daniel P Sanders, Paul Seymour, Robin Thomas
    posted to four_color_theorem by rzach to the group LogicPhilMath on 2005-04-22 02:50:48 as **
  • The Use of the Computer in the Proof of the Four Color Theorem
    Proceedings of the American Philosophical Society, Vol. 128, No. 1. (1984), pp. 35-39.
    by Kenneth I Appel
    posted to four_color_theorem by rzach to the group LogicPhilMath on 2005-04-22 02:45:34 as **
  • Computers, Proofs and Mathematicians: A Philosophical Investigation of the Four-Color Proof
    Mathematics Magazine, Vol. 53, No. 3. (1980), pp. 131-138.
    by Thomas Tymoczko
    posted to four_color_theorem philosophy_of_mathematics by rzach to the group LogicPhilMath on 2005-04-22 02:43:41 as ** along with 1 person and 2 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research
  • Computer Use to Computer Proof: A Rational Reconstruction
    The Two-Year College Mathematics Journal, Vol. 12, No. 2. (1981), pp. 120-125.
    by Thomas Tymoczko
    posted to four_color_theorem philosophy_of_mathematics by rzach to the group LogicPhilMath on 2005-04-22 02:42:45 as *
    • Puoi citare questa pagina come: http://www.citeulike.org/group/148

    Result page: 1 2 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.