Holdings: Hilbert's programs and beyond

Hilbert's programs and beyond:

Saved in:

Bibliographic Details
Main Author:	Sieg, Wilfried 1945- (Author)
Format:	Book
Language:	English
Published:	Oxford [u.a.] Oxford University Press 2013
Subjects:	Mathematik Philosophie Hilbert, David <1862-1943> Mathematics Philosophy Hilbertsches Programm
Online Access:	Inhaltsverzeichnis
Item Description:	Includes bibliographical references (p. 403-434) and index
Physical Description:	XII, 440 S. Ill., graph. Darst. 25 cm
ISBN:	9780195372229 9780199707157

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV040985801
003	DE-604
005	20150831
007	t
008	130507s2013 ad\|\| \|\|\|\| 00\|\|\| eng d
010			\|a 2012022356
020			\|a 9780195372229 \|c hardback : alk. paper \|9 978-0-19-537222-9
020			\|a 9780199707157 \|c ebook \|9 978-0-19-970715-7
035			\|a (OCoLC)842833070
035			\|a (DE-599)GBV719601053
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-19 \|a DE-29 \|a DE-11 \|a DE-83 \|a DE-634 \|a DE-703 \|a DE-824 \|a DE-210 \|a DE-355
050		0	\|a QA8.4
082	0		\|a 510.1
084			\|a CC 3700 \|0 (DE-625)17620: \|2 rvk
084			\|a SG 580 \|0 (DE-625)143067: \|2 rvk
084			\|a SG 700 \|0 (DE-625)143071: \|2 rvk
084			\|a 5,1 \|2 ssgn
100	1		\|a Sieg, Wilfried \|d 1945- \|e Verfasser \|0 (DE-588)128682116 \|4 aut
245	1	0	\|a Hilbert's programs and beyond \|c Wilfried Sieg
264		1	\|a Oxford [u.a.] \|b Oxford University Press \|c 2013
300			\|a XII, 440 S. \|b Ill., graph. Darst. \|c 25 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
500			\|a Includes bibliographical references (p. 403-434) and index
650		4	\|a Mathematik
650		4	\|a Philosophie
650		4	\|a Hilbert, David <1862-1943>
650		4	\|a Mathematics
650		4	\|a Philosophy
650	0	7	\|a Hilbertsches Programm \|0 (DE-588)4209255-3 \|2 gnd \|9 rswk-swf
689	0	0	\|a Hilbertsches Programm \|0 (DE-588)4209255-3 \|D s
689	0		\|5 DE-604
856	4	2	\|m Digitalisierung UB Erlangen \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025963682&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
940	1		\|n DHB
940	1		\|q DHB_JDG_ISBN_1
999			\|a oai:aleph.bib-bvb.de:BVB01-025963682

Record in the Search Index

_version_	1804150306793062400
adam_text	IMAGE 1 CONTENTS INTRODUETION 1 IN.1 A PERSPECTIVE ON HILBERT S PROGRAMS 3 IN.2 MILESTONES 29 I MATHEMATIEAL ROOTS 33 1.1 DEDEKIND S ANALYSIS OF NUMBER: SYSTEMS AND AXIOMS 35 1.2 METHODS FOR REAL ARITHMETIC 73 1.3 HILBERT S PROGRAMS: 1917-1922 91 II ANALYSES HISTORIEAL 129 11.1 H.2 II.3 II.4 II.5 H.6 II.7 11.8 II.9 11.10 FINITIST PROOF THEORY: 1922-1934 MTER KOENIGSBERG IN THE SHADOW OF INCOMPLETENESS: HILBERT AND GENTZEN GOEDEL AT ZILSEL S HILBERT AND BERNAYS: 1939 SYSTEMATIEAL FOUNDATIONS FOR ANALYSIS AND PROOF THEORY REDUCTIONS OFTHEORIES FOR ANALYSIS HILBERT S PROGRAM SIXTY YEARS LATER ON REVERSE MATHEMATICS RELATIVE CONSISTENCY AND ACCESSIBLE DOMAINS 131 145 155 193 215 227 229 263 281 291 299 III PHILOSOPHIEAL HORIZONS IH.L ASPECTS OF MATHEMATICAL EXPERIENCE XI 327 329 IMAGE 2 XII HILBERT S PROGRAMS AND BEYOND II I.2 II I.3 BEYOND HILBERT S RE ACH? SEARCHING FOR PROOFS (AND UNCOVERING CAPACITIES OF THE MATHEMATICAL MIND) BIBLIOGRAPHY INDEX 345 377 403 435
any_adam_object	1
author	Sieg, Wilfried 1945-
author_GND	(DE-588)128682116
author_facet	Sieg, Wilfried 1945-
author_role	aut
author_sort	Sieg, Wilfried 1945-
author_variant	w s ws
building	Verbundindex
bvnumber	BV040985801
callnumber-first	Q - Science
callnumber-label	QA8
callnumber-raw	QA8.4
callnumber-search	QA8.4
callnumber-sort	QA 18.4
callnumber-subject	QA - Mathematics
classification_rvk	CC 3700 SG 580 SG 700
ctrlnum	(OCoLC)842833070 (DE-599)GBV719601053
dewey-full	510.1
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	510 - Mathematics
dewey-raw	510.1
dewey-search	510.1
dewey-sort	3510.1
dewey-tens	510 - Mathematics
discipline	Mathematik Philosophie
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01815nam a2200493 c 4500</leader><controlfield tag="001">BV040985801</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150831 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">130507s2013 ad\|\| \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2012022356</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780195372229</subfield><subfield code="c">hardback : alk. paper</subfield><subfield code="9">978-0-19-537222-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780199707157</subfield><subfield code="c">ebook</subfield><subfield code="9">978-0-19-970715-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)842833070</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV719601053</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA8.4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510.1</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 3700</subfield><subfield code="0">(DE-625)17620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SG 580</subfield><subfield code="0">(DE-625)143067:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SG 700</subfield><subfield code="0">(DE-625)143071:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Sieg, Wilfried</subfield><subfield code="d">1945-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128682116</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Hilbert's programs and beyond</subfield><subfield code="c">Wilfried Sieg</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford [u.a.]</subfield><subfield code="b">Oxford University Press</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 440 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">25 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 403-434) and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Hilbert, David <1862-1943></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hilbertsches Programm</subfield><subfield code="0">(DE-588)4209255-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Hilbertsches Programm</subfield><subfield code="0">(DE-588)4209255-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Erlangen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025963682&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="n">DHB</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">DHB_JDG_ISBN_1</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025963682</subfield></datafield></record></collection>
id	DE-604.BV040985801
illustrated	Illustrated
indexdate	2024-07-10T00:36:50Z
institution	BVB
isbn	9780195372229 9780199707157
language	English
lccn	2012022356
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-025963682
oclc_num	842833070
open_access_boolean
owner	DE-19 DE-BY-UBM DE-29 DE-11 DE-83 DE-634 DE-703 DE-824 DE-210 DE-355 DE-BY-UBR
owner_facet	DE-19 DE-BY-UBM DE-29 DE-11 DE-83 DE-634 DE-703 DE-824 DE-210 DE-355 DE-BY-UBR
physical	XII, 440 S. Ill., graph. Darst. 25 cm
psigel	DHB_JDG_ISBN_1
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Oxford University Press
record_format	marc
spelling	Sieg, Wilfried 1945- Verfasser (DE-588)128682116 aut Hilbert's programs and beyond Wilfried Sieg Oxford [u.a.] Oxford University Press 2013 XII, 440 S. Ill., graph. Darst. 25 cm txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references (p. 403-434) and index Mathematik Philosophie Hilbert, David <1862-1943> Mathematics Philosophy Hilbertsches Programm (DE-588)4209255-3 gnd rswk-swf Hilbertsches Programm (DE-588)4209255-3 s DE-604 Digitalisierung UB Erlangen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025963682&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Sieg, Wilfried 1945- Hilbert's programs and beyond Mathematik Philosophie Hilbert, David <1862-1943> Mathematics Philosophy Hilbertsches Programm (DE-588)4209255-3 gnd
subject_GND	(DE-588)4209255-3
title	Hilbert's programs and beyond
title_auth	Hilbert's programs and beyond
title_exact_search	Hilbert's programs and beyond
title_full	Hilbert's programs and beyond Wilfried Sieg
title_fullStr	Hilbert's programs and beyond Wilfried Sieg
title_full_unstemmed	Hilbert's programs and beyond Wilfried Sieg
title_short	Hilbert's programs and beyond
title_sort	hilbert s programs and beyond
topic	Mathematik Philosophie Hilbert, David <1862-1943> Mathematics Philosophy Hilbertsches Programm (DE-588)4209255-3 gnd
topic_facet	Mathematik Philosophie Hilbert, David <1862-1943> Mathematics Philosophy Hilbertsches Programm
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025963682&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT siegwilfried hilbertsprogramsandbeyond

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items