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

Ключевое слово godel [25 articles]

Recent papers classified by the tag godel.
  • Godel, Escher, Bach: An Eternal Golden Braid (20th anniversary edition with a new preface by the author)
    (30 March 2000)
    by Douglas R Hofstadter
    posted to godel incompletness logics mathematics theorem by yish on 2005-11-29 10:25:15 as ** along with 4 people and 5 groups hectorp aufrank grzegorz leidner ur-cls mathgamespatterns dtl vds-arg eni
  • From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 (Source Books in the History of the Sciences)
    (01 January 2002)
    by Jean van Heijenoort
    posted to frege godel logic by terumiyake on 2006-05-07 22:17:38 as **
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Godelian ontological arguments
    Analysis, Vol. 56, No. 4. (1996), pp. 226-230.
    posted to ontological godel god argument by RafalUrbaniak on 2007-01-15 23:20:11 as ***
  • The Berry paradox
    Complexity, Vol. 1 (1995), pp. ?-?.
    by GJ Chaitin
    posted to godel number by pile on 2006-10-10 10:34:19 as **
  • On Computable Beliefs of Rational Machines
    Games and Economical Behavior, Vol. 1 (1989), pp. 144-169.
    by Nimrod Megiddo
    posted to godel number by pile on 2006-10-10 09:42:39 as **
  • On Computable Beliefs of Rational Machines
    Games and Economical Behavior, Vol. 1 (1989), pp. 144-169.
    by Nimrod Megiddo
    posted to godel number by pile on 2006-10-10 09:42:25 as **
  • Gödel and Physics
    (29 Dec 2006)
    by John D Barrow
    posted to computability godel physics undecidability by NitinCR on 2007-07-23 14:19:48 as read along with 3 people gpi Scis0000002 mstn
  • Gödel's Theorem: An Incomplete Guide to Its Use and Abuse
    (25 May 2005)
    by Torkel Franzen
    posted to godel incompleteness_theorem by NitinCR on 2008-02-09 10:40:19 as **
  • Kurt Gödel and His Universe
    (10 Sep 2007)
    by Ivan Todorov
    posted to godel by NitinCR on 2007-09-25 11:34:02 as read along with 1 person and 2 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research
  • Gödel's Proof
    (01 October 2001)
    by Ernest Nagel, James R Newman
    posted to godel incompleteness_theorem by NitinCR on 2008-02-25 07:00:11 as ** along with 1 person Adso
  • Logical Dilemmas: The Life and Work of Kurt Gödel
    (15 June 1997)
    by John W Dawson-Jr
    posted to biographical godel by NitinCR on 2008-02-08 19:16:00 as **
  • Gödel, Escher, Bach: An Eternal Golden Braid
    (01 January 1999)
    by Douglas R Hofstadter
    posted to godel escher bach by NitinCR on 2008-07-23 08:53:54 as read along with 15 people and 4 groups robotact edvin dayjm pchiusano tystl caporaso paulclinger spirit_of_numenor joshuashen fawxtin grisogono germoglio volkansevim spinaltap526 dlobo biomedical-nlp ComplexAdaptiveSystems DSTO-CAS GEB
  • Deflationism and the Godel Phenomena: Reply to Tennant
    Mind, Vol. 114, No. 453., 75.
    by Jeffrey Ketland
    posted to deflationism godel truth by greg_restall on 2005-03-12 10:09:02 as **
  • Godel's theorem is invalid
    (21 Oct 2005)
    by Diego Saa
    posted to godel logic by cpgray on 2005-10-31 23:45:32 as ** along with 2 people ansobol jrw
  • Forbidden Information
    (29 Mar 2007)
    by Leonid A Levin
    posted to godel kolmgorov_complexity by bsilverthorn on 2007-11-09 22:15:14 as ** along with 1 person and 2 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research
  • On the Compatibility Between Physics and Intelligent Organisms
    (9 Feb 2001)
    by John C Collins
    posted to godel itfrombit penrose by BrendaChng on 2006-04-02 07:58:19 as ** along with 1 person NitinCR
  • Hypercomputation: computing more than the Turing machine
    (25 Sep 2002)
    by Toby Ord
    posted to godel itfrombit turing by BrendaChng on 2006-04-02 09:26:21 as ** along with 3 people scis0000001 ariels BrianTomasik
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/tag/godel

    RIS BibTeX RSS
    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.