Tag godel [38 articles] Export

Recent papers classified by the tag godel.

	The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis. [My Copy] Proceedings of the National Academy of Sciences of the United States of America, Vol. 24, No. 12. (December 1938), pp. 556-557. by K. Gödel posted to logic godel continuum axiom_of_chioce by ajholanda on 2009-11-09 10:48:11 as
	Consistency-Proof for the Generalized Continuum-Hypothesis. [My Copy] Proceedings of the National Academy of Sciences of the United States of America, Vol. 25, No. 4. (April 1939), pp. 220-224. by K. Gödel posted to logic godel continuum by ajholanda on 2009-11-09 10:46:40 as
	From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 [My Copy] (06 December 1999) by Jean van Heijenoort posted to mathematical_logic history_of_mathematics godel frege by NitinCR on 2009-08-30 21:34:29 as
	Kurt Gödel: Collected Works, Volume I: Publications 1929-1936 [My Copy] (23 January 1986) by Kurt Gödel posted to godel collected_works by NitinCR on 2009-08-23 10:47:33 as
	Kurt Gödel: Collected Works, Volume II: Publications 1938-1974 [My Copy] (21 June 2001) by Kurt Gödel posted to godel collected_works by NitinCR on 2009-08-23 10:45:16 as
	Godel's Proof [My Copy] (01 October 2001) by Ernest Nagel, James R. Newman posted to 2001 godel incompleteness logic mathematics by michaelbanks on 2009-05-14 14:32:20 as along with 2 people NitinCR Adso
	Gödel, Escher, Bach: An Eternal Golden Braid [My Copy] (01 January 1999) by Douglas R. Hofstadter posted to 1979 art artificial-intelligence book decidability godel logic mathematics music programming proof recursion by michaelbanks on 2009-05-14 14:18:44 as along with 22 people and 4 groups chihchun_chen robotact Aubrey trm005 Adso asekerci byronf dayjm pchiusano tystl caporaso paulclinger spirit_of_numenor joshuashen fawxtin grisogono germoglio volkansevim spinaltap526 dlobo edvin NitinCR biomedical-nlp ComplexAdaptiveSystems DSTO-CAS GEB
	Gödel's Proof [My Copy] (01 October 2008) by Ernest Nagel, James Newman, Douglas R. Hofstadter posted to godel incompleteness proof by NitinCR on 2009-04-18 11:04:21 as along with 2 people hugonobrega brian
	Incompleteness: The Proof and Paradox of Kurt Godel [My Copy] (06 February 2006) by Rebecca Goldstein posted to godel incompleteness logic mathematics by Aubrey on 2009-03-24 23:38:58 as along with 2 people NitinCR dlouzeck
	Memoirs of a Proof Theorist: Godel and Other Logicians [My Copy] by Gaisi Takeuti, Nicholas Passell, Mariko Yasugi posted to biographical godel logician proof_theorist by NitinCR on 2009-03-17 13:25:16 as
	Computability and Recursion [My Copy] The Bulletin of Symbolic Logic, Vol. 2, No. 3. (1996), pp. 284-321. by Robert I. Soare posted to church computability godel history lambda-calculus recursion turing by spl on 2009-03-02 12:24:28 as along with 2 people hugonobrega eporreca
	Logicians who reason about themselves [My Copy] In Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge (1986), pp. 341-352. by Raymond M. Smullyan posted to 1986 godel logic mathematics self-reference undecidability by michaelbanks on 2008-12-11 15:52:08 as
	An Introduction to Gödel's Theorems [My Copy] (06 August 2007) by Peter Smith posted to godel incompleteness by NitinCR on 2008-10-07 20:49:41 as along with 3 people pirapira dwei98 Scis0000002
	Thinking about Gödel and Turing: Essays on Complexity (1970-2007) [My Copy] (06 August 2007) by Gregory J. Chaitin posted to chaitin complexity godel incompleteness turing uncomputability by NitinCR on 2008-10-03 12:46:29 as
	Godel's Incompleteness Theorems [My Copy] (20 August 1992) by Raymond M. Smullyan posted to godel incompleteness logic by NitinCR on 2008-09-17 22:56:23 as along with 1 person dwei98
	Gödel, Escher, Bach: An Eternal Golden Braid (20th anniversary edition with a new preface by the author) [My Copy] (30 March 2000) by Douglas R. Hofstadter posted to bach escher godel by hectorp on 2008-05-08 02:40:35 as along with 4 people and 5 groups aufrank grzegorz leidner yish ur-cls mathgamespatterns dtl vds-arg eni
	Gödel's Theorem: An Incomplete Guide to Its Use and Abuse [My Copy] (25 May 2005) by Torkel Franzen posted to godel incompleteness_theorem by NitinCR on 2008-02-09 10:40:19 as along with 1 person noam_zeilberger
	Logical Dilemmas: The Life and Work of Kurt Gödel [My Copy] (15 June 1997) by John W. Dawson-Jr posted to biographical godel by NitinCR on 2008-02-08 19:16:00 as
	Forbidden Information [My Copy] (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
	Kurt Gödel and His Universe [My Copy] (10 Sep 2007) by Ivan Todorov posted to godel by NitinCR on 2007-09-25 11:34:02 as along with 1 person and 2 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research
	Gödel and Physics [My Copy] (29 Dec 2006) by John D. Barrow posted to computability godel physics undecidability by NitinCR on 2007-07-23 14:19:48 as along with 3 people gpi Scis0000002 mstn
	Godelian ontological arguments [My Copy] 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 [My Copy] Complexity, Vol. 1 (1995), pp. ?-?. by G. J. Chaitin posted to godel number by pile on 2006-10-10 10:34:19 as
	On Computable Beliefs of Rational Machines [My Copy] 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 [My Copy] 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
	From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 (Source Books in the History of the Sciences) [My Copy] (01 January 2002) by Jean van Heijenoort posted to frege godel logic by terumiyake on 2006-05-07 22:17:38 as
	Hypercomputation: computing more than the Turing machine [My Copy] (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
	On the Compatibility Between Physics and Intelligent Organisms [My Copy] (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
	Godel's theorem is invalid [My Copy] (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
	Conservativeness and Incompleteness [My Copy] 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 along with 2 people and 1 group cirodeflorio madzic LogicPhilMath
	Incompleteness, Mechanism, and Optimism [My Copy] The Bulletin of Symbolic Logic, Vol. 4, No. 3. (1998), pp. 273-302. by Stewart Shapiro posted to godel incompleteness lucas mechanism by greg_restall on 2005-06-09 01:18:08 as along with 1 person and 1 group rzach LogicPhilMath
	Hilbert's Program Revisited [My Copy] 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 along with 1 group LogicPhilMath
	On the scheme of induction for bounded arithmetic formulas [My Copy] 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 [My Copy] The Journal of Symbolic Logic, Vol. 41, No. 2. (1976), pp. 503-512. by A. Bezboruah, J. C. Shepherdson posted to arithmetic godel kreisel logic by rzach on 2005-05-30 18:08:33 as along with 1 group LogicPhilMath
	Cuts, Consistency Statements and Interpretations [My Copy] 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 along with 1 group LogicPhilMath
	On the Philosophical Development of Kurt Gödel [My Copy] 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 Godel Logics - a Survey [My Copy] Journal of Logic and Computation, Vol. 13, No. 6. (December 2003), pp. 835-861. by M. Baaz, A. Ciabattoni, C. G. Fermuller posted to gentzen godel hypersequents logic pnc prooftheory sequent by greg_restall on 2005-03-15 07:32:40 as along with 2 people and 1 group rzach htowsner LogicPhilMath
	Deflationism and the Godel Phenomena: Reply to Tennant [My Copy] 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

Note: You may cite this page as: http://www.citeulike.org/tag/godel

logic	17
mathematics	10
incompleteness	7
arithmetic	6
philosophy_of_mathematics	6
incompletness	5
logics	5
theorem	5
bach	4
escher	4
turing	4
biographical	3
hypersequents	3
incompleteness_theorem	3
lucas	3
mechanism	3
number	3
artificial-intelligence	2
collected_works	2
complexity	2
computability	2
continuum	2
field	2
frege	2
hilbert	2
hilberts_program	2
hsitor_of_logic	2
itfrombit	2
kreisel	2
music	2
nominalism	2
physics	2
programming	2
proof	2
proof_theory	2
recursion	2
sequent_calculus	2
undecidability	2
1979	1
1986	1
2001	1
ai	1
argument	1
art	1
axiom_of_chioce	1
biology	1
book	1
book-review	1
chaitin	1
church	1
cybernetics	1
decidability	1
deflationism	1
dna	1
gentzen	1
god	1
history	1
history_of_mathematics	1
kolmgorov_complexity	1
lambda-calculus	1
life	1
logician	1
mathematical_logic	1
ontological	1
ortogonalita	1
penrose	1
pnc	1
proof_theorist	1
prooftheory	1
recursivity	1
self-organizing	1
self-reference	1
sequent	1
system	1
theory-of-computation	1
truth	1
uncomputability	1

Tag godel [38 articles] Export

Related Tags