Recursive analysis:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
North-Holland Publishing Company
1961
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | viii, 138 Seiten |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV001932928 | ||
| 003 | DE-604 | ||
| 005 | 20220328 | ||
| 007 | t | ||
| 008 | 890928s1961 |||| 00||| eng d | ||
| 035 | |a (OCoLC)186225867 | ||
| 035 | |a (DE-599)BVBBV001932928 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-703 |a DE-355 |a DE-29T |a DE-20 |a DE-19 |a DE-706 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 080 | |a 517.5 | ||
| 082 | 0 | |a 512 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 03D60 |2 msc | ||
| 084 | |a 03F60 |2 msc | ||
| 100 | 1 | |a Goodstein, Reuben |d 1912-1985 |0 (DE-588)1102969281 |4 aut | |
| 245 | 1 | 0 | |a Recursive analysis |c by R. L. Goodstein: the University of Leicester |
| 264 | 1 | |a Amsterdam |b North-Holland Publishing Company |c 1961 | |
| 300 | |a viii, 138 Seiten | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Studies in logic and the foundations of mathematics | |
| 650 | 0 | 7 | |a Rekursion |0 (DE-588)4191814-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Analysis |0 (DE-588)4001865-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Analysis |0 (DE-588)4001865-9 |D s |
| 689 | 0 | 1 | |a Rekursion |0 (DE-588)4191814-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001259917&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001259917 | ||
| 980 | 4 | |a (DE-12)AK08310570 | |
Datensatz im Suchindex
| _version_ | 1804116372753481728 |
|---|---|
| adam_text | CONTENTS
Prepace v
Symbols vi
CHAPTBB I. RECTOtSrVE CONVEBGENCE 1
Primitive and general recursive functions
Kecursive arithmetic and its extensions
Recursive convergence and relative convergence
The reduced sequence
Recursive limits and tests for recursive convergence
Primitive and general recursive real numbers
Chapteb n. Rectjrsive and Relative Continttity 39
Uniform and doubly uniform equivalents of a relatively continuous
recursive function
Upper and lower bounds and the impossibility of a proof of their
attainment
Conditions which ensure that a relatively continuous funetion
vanishes if it changes sign, and the non-existence of a recursive
root in the general case
Chaptbb ni. Recursive and Relative Ditferentiability . . 57
The mean value inequalities
Doubly uniform equivalent of a relatively differentiable function
The mean value theorem
Taylor s theorem
The uniform mean value theorem
The existence of relatively differentiable functions not satisfying
the uniform mean value theorem
Chapteb rv. The Relative Integral 87
Ruled functions
Relatively integrable functions
Darboux s theorem
Continuity of, and derivative of, the relative integral
Substitution in the relative integral
vii
VÜi CONTENTS
Chaptbb v. The Elementaby Functions 96
The relatively exponential, logarithmic and circular functions
Addition formulae, relative periodicity
Inverse functions
Chapeeb vi. Tbansfinite Obdinals 106
The relation of transfinite ordinals to the representation of numbers
in a soale
The decreasing ordinal theorem
The use of majorant variables and a generalisation of scale repre¬
sentation
The generalised ordinal theorem
Appendix. Recubsive Ikrationality and Tbansokndence . . . 123
Primitive and general reoursive irrationality and transcendence
The primitive recursive transcendenoe of e and n
Index 137
|
| any_adam_object | 1 |
| author | Goodstein, Reuben 1912-1985 |
| author_GND | (DE-588)1102969281 |
| author_facet | Goodstein, Reuben 1912-1985 |
| author_role | aut |
| author_sort | Goodstein, Reuben 1912-1985 |
| author_variant | r g rg |
| building | Verbundindex |
| bvnumber | BV001932928 |
| classification_rvk | CC 2600 SK 130 |
| ctrlnum | (OCoLC)186225867 (DE-599)BVBBV001932928 |
| dewey-full | 512 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 512 - Algebra |
| dewey-raw | 512 |
| dewey-search | 512 |
| dewey-sort | 3512 |
| 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>01706nam a2200445 c 4500</leader><controlfield tag="001">BV001932928</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220328 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1961 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)186225867</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001932928</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="080" ind1=" " ind2=" "><subfield code="a">517.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03D60</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03F60</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Goodstein, Reuben</subfield><subfield code="d">1912-1985</subfield><subfield code="0">(DE-588)1102969281</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Recursive analysis</subfield><subfield code="c">by R. L. Goodstein: the University of Leicester</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland Publishing Company</subfield><subfield code="c">1961</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">viii, 138 Seiten</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="490" ind1="0" ind2=" "><subfield code="a">Studies in logic and the foundations of mathematics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Rekursion</subfield><subfield code="0">(DE-588)4191814-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Analysis</subfield><subfield code="0">(DE-588)4001865-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Analysis</subfield><subfield code="0">(DE-588)4001865-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Rekursion</subfield><subfield code="0">(DE-588)4191814-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=001259917&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001259917</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK08310570</subfield></datafield></record></collection> |
| id | DE-604.BV001932928 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:37:28Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001259917 |
| oclc_num | 186225867 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-703 DE-355 DE-BY-UBR DE-29T DE-20 DE-19 DE-BY-UBM DE-706 DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-703 DE-355 DE-BY-UBR DE-29T DE-20 DE-19 DE-BY-UBM DE-706 DE-634 DE-83 DE-11 DE-188 |
| physical | viii, 138 Seiten |
| publishDate | 1961 |
| publishDateSearch | 1961 |
| publishDateSort | 1961 |
| publisher | North-Holland Publishing Company |
| record_format | marc |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Goodstein, Reuben 1912-1985 (DE-588)1102969281 aut Recursive analysis by R. L. Goodstein: the University of Leicester Amsterdam North-Holland Publishing Company 1961 viii, 138 Seiten txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics Rekursion (DE-588)4191814-9 gnd rswk-swf Analysis (DE-588)4001865-9 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Analysis (DE-588)4001865-9 s Rekursion (DE-588)4191814-9 s DE-604 Berechenbarkeit (DE-588)4138368-0 s HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001259917&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Goodstein, Reuben 1912-1985 Recursive analysis Rekursion (DE-588)4191814-9 gnd Analysis (DE-588)4001865-9 gnd Berechenbarkeit (DE-588)4138368-0 gnd |
| subject_GND | (DE-588)4191814-9 (DE-588)4001865-9 (DE-588)4138368-0 |
| title | Recursive analysis |
| title_auth | Recursive analysis |
| title_exact_search | Recursive analysis |
| title_full | Recursive analysis by R. L. Goodstein: the University of Leicester |
| title_fullStr | Recursive analysis by R. L. Goodstein: the University of Leicester |
| title_full_unstemmed | Recursive analysis by R. L. Goodstein: the University of Leicester |
| title_short | Recursive analysis |
| title_sort | recursive analysis |
| topic | Rekursion (DE-588)4191814-9 gnd Analysis (DE-588)4001865-9 gnd Berechenbarkeit (DE-588)4138368-0 gnd |
| topic_facet | Rekursion Analysis Berechenbarkeit |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001259917&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT goodsteinreuben recursiveanalysis |