Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

rzach godel [9 articles]

Recent papers added to rzach library classified by the tag godel. You can also see everyone's godel.
  • 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 on 2005-06-27 16:57:12 as read along with 1 person and 1 group madzic LogicPhilMath
  • 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 on 2005-06-09 00:28:51 as read along with 1 person and 1 group greg_restall LogicPhilMath
  • 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 on 2005-06-08 21:21:19 as read along with 1 group LogicPhilMath
  • 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 on 2005-05-31 00:25:45 as ** along with 1 person and 1 group yoriyuki LogicPhilMath
  • The Logic of Provability
    by George S Boolos
    posted to arithmetic godel by rzach on 2005-05-31 00:08:25 as read along with 1 group LogicPhilMath
  • 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 on 2005-05-30 18:08:33 as read along with 1 group LogicPhilMath
  • 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 on 2005-05-30 18:05:38 as read along with 1 group LogicPhilMath
  • On the Philosophical Development of Kurt Gödel
    The Bulletin of Symbolic Logic, Vol. 9, No. 4. (2003), pp. 425-476.
    by Mark V Van Atten, Juliette Kennedy
    posted to godel philosophy_of_mathematics by rzach on 2005-03-16 03:51:52 as *** along with 1 group LogicPhilMath
  • Hypersequent Calculi for Gödel Logics - a Survey
    Journal of Logic and Computation, Vol. 13, No. 6. (December 2003), pp. 835-861.
    by Baaz Matthias, Ciabattoni Agata, G Fermuller
    posted to godel hypersequents logic proof_theory sequent_calculus by rzach on 2005-03-15 03:37:34 as *** along with 2 people and 1 group greg_restall htowsner LogicPhilMath
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/rzach/tag/godel

    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.