Holdings: Wahrheit, Beweis, Unendlichkeit

Wahrheit, Beweis, Unendlichkeit: eine mathematische Reise zu den vielseitigen Auswirkungen der Unendlichkeit

Saved in:

Bibliographic Details
Main Author:	Stillwell, John 1942- (Author)
Format:	Book
Language:	German
Published:	Berlin [u.a.] Springer Spektrum 2014
Subjects:	Mathematische Logik Logik Beweistheorie Unendlichkeit Mengenlehre
Online Access:	Inhaltstext Inhaltsverzeichnis
Physical Description:	xii, 236 Seiten Illustrationen 24 cm
ISBN:	9783642378430

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV041214223
003	DE-604
005	20221107
007	t
008	130812s2014 gw a\|\|\| \|\|\|\| 00\|\|\| ger d
015			\|a 13,N21 \|2 dnb
016	7		\|a 1034513427 \|2 DE-101
020			\|a 9783642378430 \|c Pb. : ca. EUR 24.95 (DE), ca. EUR 25.65 (AT), ca. sfr 31.50 (freier Pr.) \|9 978-3-642-37843-0
035			\|a (OCoLC)864668792
035			\|a (DE-599)DNB1034513427
040			\|a DE-604 \|b ger \|e rda
041	0		\|a ger
044			\|a gw \|c XA-DE-BE
049			\|a DE-20 \|a DE-11 \|a DE-19 \|a DE-355 \|a DE-83 \|a DE-N32 \|a DE-210
082	0		\|a 511.3 \|2 22/ger
084			\|a SK 110 \|0 (DE-625)143215: \|2 rvk
084			\|a 03-01 \|2 msc
084			\|a 510 \|2 sdnb
084			\|a 00A09 \|2 msc
100	1		\|a Stillwell, John \|d 1942- \|0 (DE-588)128427264 \|4 aut
240	1	0	\|a Roads to infinity
245	1	0	\|a Wahrheit, Beweis, Unendlichkeit \|b eine mathematische Reise zu den vielseitigen Auswirkungen der Unendlichkeit \|c John Stillwell
264		1	\|a Berlin [u.a.] \|b Springer Spektrum \|c 2014
300			\|a xii, 236 Seiten \|b Illustrationen \|c 24 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Beweistheorie \|0 (DE-588)4145177-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Unendlichkeit \|0 (DE-588)4136067-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mengenlehre \|0 (DE-588)4074715-3 \|2 gnd \|9 rswk-swf
689	0	0	\|a Unendlichkeit \|0 (DE-588)4136067-9 \|D s
689	0	1	\|a Beweistheorie \|0 (DE-588)4145177-6 \|D s
689	0	2	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0	3	\|a Mengenlehre \|0 (DE-588)4074715-3 \|D s
689	0	4	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	0		\|5 DE-604
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4327416&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026188892&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-026188892

Record in the Search Index

_version_	1809768755317702656
adam_text	INHALTSVERZEICHNIS DAS DIAGONALARGUMENT 1 1.1 ZAEHLEN UND ABZAEHLBARKEIT 2 1.2 GIBT ES EINE UNENDLICHE EINHEITSGROESSE? 4 1.3 CANTORS DIAGONALARGUMENT 6 1.4 TRANSZENDENTE ZAHLEN 11 1.5 ANDERE UEBERABZAEHLBARKEITSBEWEISE 13 1.6 WACHSTUMSRATEN 15 1.7 DIE KARDINALITAET DES KONTINUUMS 18 1.8 HISTORISCHER HINTERGRUND 21 ORDINALZAHLEN 33 2.1 ZAEHLEN JENSEITS DER UNENDLICHKEIT 34 2.2 DIE ABZAEHLBAREN ORDINALZAHLEN 37 2.3 DAS AUSWAHLAXIOM 43 2.4 DIE KONTINUUMSHYPOTHESE 46 2.5 INDUKTION 49 2.6 CANTORSCHE NORMALFORM 53 2.7 DER SATZ VON GOODSTEIN 55 2.8 HERKULES UND DIE HYDRA 59 2.9 HISTORISCHER HINTERGRUND 62 BERECHENBARKEIT UND BEWEIS 77 3.1 FORMALE SYSTEME 78 3.2 POSTS ZUGANG ZUR UNVOLLSTAENDIGKEIT 83 3.3 GOEDELS ERSTER UNVOLLSTAENDIGKEITSSATZ 87 3.4 GOEDELS ZWEITER UNVOLLSTAENDIGKEITSSATZ 92 3.5 FORMALISIERUNG DER BERECHENBARKEIT 95 3.6 DAS HALTEPROBLEM 98 3.7 DAS ENTSCHEIDUNGSPROBLEM 101 3.8 HISTORISCHER HINTERGRUND 103 LOGIK 111 4.1 AUSSAGENLOGIK 112 4.2 EIN KLASSISCHES SYSTEM 114 4.3 EIN SCHNITTFREIES SYSTEM FUER DIE AUSSAGENLOGIK 117 HTTP://D-NB.INFO/1034513427 XII WAHRHEIT, BEWEIS, UNENDLICHKEIT 4.4 HAPPY END 120 4.5 PRAEDIKATENLOGIK 121 4.6 VOLLSTAENDIGKEIT, KONSISTENZ, HAPPY END 126 4.7 HISTORISCHER HINTERGRUND 129 § ARITHMETIK 137 5.1 WIE KOENNEN WIR KONSISTENZ BEWEISEN? 138 5.2 FORMALE ARITHMETIK 139 5.3 DIE SYSTEME PA UND PAA, 141 5.4 EINBETTUNG VON PA IN PA^, 143 5.5 SCHNITTELIMINIERUNG IN PAO, 146 5.6 DIE HOEHE DIESES GROSSEN ARGUMENTS 150 5.7 WEGE ZUR UNENDLICHKEIT 153 5.8 HISTORISCHER HINTERGRUND 155 D) NATUERLICHE UNBEWEISBARE AUSSAGEN 161 6.1 EIN VERALLGEMEINERTER SATZ VON GOODSTEIN 161 6.2 VON NATUERLICHEN ZAHLEN ZU ABZAEHLBAREN ORDINALZAHLEN 163 6.3 VOM VERALLGEMEINERTEN GOODSTEIN ZUR WOHLORDNUNG 166 6.4 VERALLGEMEINERTER UND GEWOEHNLICHER GOODSTEIN 169 6.5 BEWEISBAR REKURSIVE FUNKTIONEN 170 6.6 VOELLIGE UNORDNUNG IST UNMOEGLICH 174 6.7 DER SCHWIERIGSTE SATZ DER GRAPHENTHEORIE 178 6.8 HISTORISCHER HINTERGRUND 182 1) AXIOME DER UNENDLICHKEIT 191 7.1 MENGENLEHRE OHNE UNENDLICHKEIT 191 7.2 UNERREICHBARE KARDINALZAHLEN 195 7.3 DAS DETERMINIERTHEITSAXIOM 197 7.4 GROESSENAXIOME FUER DIE ARITHMETIK 200 7.5 GROSSE KARDINALZAHLEN UND ENDLICHE MATHEMATIK 201 7.6 HISTORISCHER HINTERGRUND 205 LITERATURVERZEICHNIS 213 SACHVERZEICHNIS 219
any_adam_object	1
author	Stillwell, John 1942-
author_GND	(DE-588)128427264
author_facet	Stillwell, John 1942-
author_role	aut
author_sort	Stillwell, John 1942-
author_variant	j s js
building	Verbundindex
bvnumber	BV041214223
classification_rvk	SK 110
ctrlnum	(OCoLC)864668792 (DE-599)DNB1034513427
dewey-full	511.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3
dewey-search	511.3
dewey-sort	3511.3
dewey-tens	510 - Mathematics
discipline	Mathematik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV041214223</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20221107</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">130812s2014 gw a\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,N21</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1034513427</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642378430</subfield><subfield code="c">Pb. : ca. EUR 24.95 (DE), ca. EUR 25.65 (AT), ca. sfr 31.50 (freier Pr.)</subfield><subfield code="9">978-3-642-37843-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864668792</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1034513427</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-N32</subfield><subfield code="a">DE-210</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 110</subfield><subfield code="0">(DE-625)143215:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03-01</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">00A09</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Stillwell, John</subfield><subfield code="d">1942-</subfield><subfield code="0">(DE-588)128427264</subfield><subfield code="4">aut</subfield></datafield><datafield tag="240" ind1="1" ind2="0"><subfield code="a">Roads to infinity</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Wahrheit, Beweis, Unendlichkeit</subfield><subfield code="b">eine mathematische Reise zu den vielseitigen Auswirkungen der Unendlichkeit</subfield><subfield code="c">John Stillwell</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer Spektrum</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xii, 236 Seiten</subfield><subfield code="b">Illustrationen</subfield><subfield code="c">24 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="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Unendlichkeit</subfield><subfield code="0">(DE-588)4136067-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Unendlichkeit</subfield><subfield code="0">(DE-588)4136067-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4327416&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=026188892&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026188892</subfield></datafield></record></collection>
id	DE-604.BV041214223
illustrated	Illustrated
indexdate	2024-09-10T00:59:39Z
institution	BVB
isbn	9783642378430
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026188892
oclc_num	864668792
open_access_boolean
owner	DE-20 DE-11 DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-83 DE-N32 DE-210
owner_facet	DE-20 DE-11 DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-83 DE-N32 DE-210
physical	xii, 236 Seiten Illustrationen 24 cm
publishDate	2014
publishDateSearch	2014
publishDateSort	2014
publisher	Springer Spektrum
record_format	marc
spelling	Stillwell, John 1942- (DE-588)128427264 aut Roads to infinity Wahrheit, Beweis, Unendlichkeit eine mathematische Reise zu den vielseitigen Auswirkungen der Unendlichkeit John Stillwell Berlin [u.a.] Springer Spektrum 2014 xii, 236 Seiten Illustrationen 24 cm txt rdacontent n rdamedia nc rdacarrier Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Beweistheorie (DE-588)4145177-6 gnd rswk-swf Unendlichkeit (DE-588)4136067-9 gnd rswk-swf Mengenlehre (DE-588)4074715-3 gnd rswk-swf Unendlichkeit (DE-588)4136067-9 s Beweistheorie (DE-588)4145177-6 s Mathematische Logik (DE-588)4037951-6 s Mengenlehre (DE-588)4074715-3 s Logik (DE-588)4036202-4 s DE-604 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4327416&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026188892&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Stillwell, John 1942- Wahrheit, Beweis, Unendlichkeit eine mathematische Reise zu den vielseitigen Auswirkungen der Unendlichkeit Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd Beweistheorie (DE-588)4145177-6 gnd Unendlichkeit (DE-588)4136067-9 gnd Mengenlehre (DE-588)4074715-3 gnd
subject_GND	(DE-588)4037951-6 (DE-588)4036202-4 (DE-588)4145177-6 (DE-588)4136067-9 (DE-588)4074715-3
title	Wahrheit, Beweis, Unendlichkeit eine mathematische Reise zu den vielseitigen Auswirkungen der Unendlichkeit
title_alt	Roads to infinity
title_auth	Wahrheit, Beweis, Unendlichkeit eine mathematische Reise zu den vielseitigen Auswirkungen der Unendlichkeit
title_exact_search	Wahrheit, Beweis, Unendlichkeit eine mathematische Reise zu den vielseitigen Auswirkungen der Unendlichkeit
title_full	Wahrheit, Beweis, Unendlichkeit eine mathematische Reise zu den vielseitigen Auswirkungen der Unendlichkeit John Stillwell
title_fullStr	Wahrheit, Beweis, Unendlichkeit eine mathematische Reise zu den vielseitigen Auswirkungen der Unendlichkeit John Stillwell
title_full_unstemmed	Wahrheit, Beweis, Unendlichkeit eine mathematische Reise zu den vielseitigen Auswirkungen der Unendlichkeit John Stillwell
title_short	Wahrheit, Beweis, Unendlichkeit
title_sort	wahrheit beweis unendlichkeit eine mathematische reise zu den vielseitigen auswirkungen der unendlichkeit
title_sub	eine mathematische Reise zu den vielseitigen Auswirkungen der Unendlichkeit
topic	Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd Beweistheorie (DE-588)4145177-6 gnd Unendlichkeit (DE-588)4136067-9 gnd Mengenlehre (DE-588)4074715-3 gnd
topic_facet	Mathematische Logik Logik Beweistheorie Unendlichkeit Mengenlehre
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4327416&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026188892&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT stillwelljohn roadstoinfinity AT stillwelljohn wahrheitbeweisunendlichkeiteinemathematischereisezudenvielseitigenauswirkungenderunendlichkeit

Holdings

There is no print copy available.

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

MARC

Record in the Search Index

There is no print copy available.

Similar Items