rzach's hilbert [9 articles] Export

Recent papers added to rzach's library classified by the tag hilbert. You can also see everyone's hilbert.

	The Russellian Influence on Hilbert and his School [My Copy] 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 on 2005-06-08 23:23:17 as along with 2 people and 3 groups A_Olympia greg_restall Philosophy_of_Information Blog_and_Wiki_Research 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
	The Frege-Hilbert Controversy [My Copy] 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 on 2005-06-07 14:26:53 as along with 1 group LogicPhilMath
	Hilbert's Programs: 1917-1922 [My Copy] The Bulletin of Symbolic Logic, Vol. 5, No. 1. (1999), pp. 1-44. by Wilfried Sieg posted to finitism foundations hilbert history history_of_logic logic russell by rzach on 2005-03-16 18:08:48 as along with 1 person and 1 group noam_zeilberger LogicPhilMath
	Completeness before Post: Bernays, Hilbert, and the Development of Propositional Logic [My Copy] The Bulletin of Symbolic Logic, Vol. 5, No. 3. (1999), pp. 331-366. by Richard Zach posted to bernays hilbert history history_of_logic logic post by rzach on 2005-03-16 18:07:57 as along with 1 person and 3 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	Between Russell and Hilbert: Behmann on the Foundations of Mathematics [My Copy] The Bulletin of Symbolic Logic, Vol. 5, No. 3. (1999), pp. 303-330. by Paolo Mancosu posted to behmann foundations hilbert history_of_logic philosophy_of_mathematics principia_mathematica russell by rzach on 2005-03-16 18:07:20 as along with 1 group LogicPhilMath
	Categories, Structures, and the Frege-Hilbert Controversy: The Status of Meta-mathematics [My Copy] Philosophia Mathematica, Vol. 13, No. 1. (2005), pp. 61-77. by Stewart Shapiro posted to category_theory frege hilbert philosophy_of_mathematics by rzach on 2005-03-14 16:51:54 as along with 2 people and 1 group recordmymind greg_restall LogicPhilMath
	Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs [My Copy] History and Philosophy of Logic, Vol. 25 (2004), pp. 79-94. by Richard Zach posted to epsilon foundations hilbert history history_of_logic mathematics philosophy_of_mathematics proof_theory by rzach on 2005-03-14 15:37:52 as along with 1 person and 3 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	Hilbert's Finitism: Historical, Philosophical and Metamathematical Perspectives [My Copy] (2001) by Richard Zach posted to bernays epsilon finitism hilbert history_of_logic logic philosophy_of_mathematics by rzach on 2005-03-14 02:59:53 as along with 1 group LogicPhilMath

Note: You may cite this page as: http://www.citeulike.org/user/rzach/tag/hilbert

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.

proof_theory	28
philosophy_of_mathematics	24
history_of_logic	22
epsilon	16
logic	14
sequent_calculus	10
foundations	9
four_color_theorem	9
godel	9
hilbert	9
arithmetic	4
history	4
russell	4
tarski	4
vagueness	4
church	3
frege	3
fuzzy_logic	3
godel_logic	3
hilberts_program	3
philosophy_of_logic	3
behmann	2
bernays	2
category_theory	2
field	2
finitism	2
hypersequents	2
intuitionistic_logic	2
kreisel	2
lambda_calculus	2
lisp	2
lukasiewicz_logic	2
many-valued_logic	2
mathematics	2
natural_deduction	2
principia_mathematica	2
programming_languages	2
resolution	2
set_theory	2
shoemaker	2
tableaux	2
truth	2
type_theory	2
analytic_philosophy	1
benacerraf	1
bibtex-import	1
bolzano	1
computer	1
computer_science	1
curry	1
disquotation	1
explanation	1
forcing	1
free_logic	1
generalization_of_proofs	1
gentzen	1
geometry	1
herbrand	1
hsitor_of_logic	1
indexicals	1
kant	1
kleene	1
konig	1
logicism	1
logic_teaching	1
lucas	1
mechanism	1
modal_logic	1
nominalism	1
normalization	1
paradox	1
peer_review	1
post	1
progressions	1
ramsey	1
reflection	1
reverse_mathematics	1
sorites	1
supervaluationism	1
temporal_logic	1
types	1

rzach's hilbert [9 articles] Export

rzach's tags