On the foundations of computing:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Oxford
Oxford University Press
2020
|
| Edition: | First Edition |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturverzeichnis Seite [273]-291 |
| Physical Description: | xix, 296 Seiten Illustrationen, Diagramme 24 cm |
| ISBN: | 9780198835653 9780198835646 |
Staff View
MARC
| LEADER | 00000nam a22000008c 4500 | ||
|---|---|---|---|
| 001 | BV046281857 | ||
| 003 | DE-604 | ||
| 005 | 20210407 | ||
| 007 | t | ||
| 008 | 191203s2020 a||| |||| 00||| eng d | ||
| 015 | |a GBB9E9671 |2 dnb | ||
| 020 | |a 9780198835653 |c pbk.: £ 40.00 |9 978-0-19-883565-3 | ||
| 020 | |a 9780198835646 |c Hb. |9 978-0-19-883564-6 | ||
| 035 | |a (OCoLC)1136451988 | ||
| 035 | |a (DE-599)HBZHT020254542 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-210 | ||
| 084 | |a HIST |q DE-210 |2 fid | ||
| 100 | 1 | |a Primiero, Giuseppe |e Verfasser |0 (DE-588)1188368222 |4 aut | |
| 245 | 1 | 0 | |a On the foundations of computing |c Giuseppe Primiero |
| 250 | |a First Edition | ||
| 264 | 1 | |a Oxford |b Oxford University Press |c 2020 | |
| 300 | |a xix, 296 Seiten |b Illustrationen, Diagramme |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverzeichnis Seite [273]-291 | ||
| 648 | 7 | |a Geschichte |2 gnd |9 rswk-swf | |
| 650 | 4 | |a Computers |x History | |
| 650 | 4 | |a Computer science |x History | |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Technikphilosophie |0 (DE-588)4126976-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissenschaftsphilosophie |0 (DE-588)4202787-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 1 | |a Wissenschaftsphilosophie |0 (DE-588)4202787-1 |D s |
| 689 | 0 | 2 | |a Technikphilosophie |0 (DE-588)4126976-7 |D s |
| 689 | 0 | 3 | |a Geschichte |A z |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung Deutsches Museum |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031659450&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-031659450 | ||
Record in the Search Index
| _version_ | 1804180733008281600 |
|---|---|
| adam_text | CONTENTS
1 INTRODUCTION
PART
I
THE
MATHEMATICAL
FOUNDATION
2A
FUNDAMENTAL
CRISIS
2.1
THE FOUNDATIONS
OF
MATHEMATICS
DEBATED
2.2
LOGICAL ROOTS
2.3
LOGICISM
2.4
FINITISM
2.5
INTUITIONISM
EXERCISES
3
COMPUTING
AND
DECIDING
3.1
ENUMERABILITY
3.2
ENCODING
3.3
DIAGONALIZATION
3.4
THE DECISION PROBLEM
EXERCISES
4 WHAT
IS COMPUTABLE?
4.1
MATHEMATICAL INDUCTION
4.2
PRIMITIVE
RECURSION
4.3
PARTIAL RECURSION
4.4
CHURCH S THESIS
EXERCISES
5
MECHANICAL
COMPUTATION
5.1
TURING COMPUTABILITY
5.2
THE
UNIVERSAL
MACHINE
5.3
THE HALTING
PROBLEM
5.4
TURING S THESIS
EXERCISES
BIBIIOTHEK
DEUTSCHES
MUSEUM
HLUENCHE A
1
S
7
7
8
10
1S
17
19
21
21
24
25
27
28
31
31
34
36
38
40
43
43
51
54
56
63
XVIII
I
CONTENTS
6
ON
THE
NATURE
OF
ALGORITHMS
6.1
FAST BACKWARDS
6.2 INTUITIVE
EXPLANATION
6.3 ALGORITHMS
AS
SPECIFICATIONS
6.4 ALGORITHMS
AS
PROCEDURES
6.5 ALGORITHMS
AS
ABSTRACT
MACHINES
6.6 EQUIVALENT
ALGORITHMS
EXERCISES
7
COMPUTING
AS
A
MATHEMATICAL
DISCIPLINE
7.1
PROOFS
AS
PROGRAMS
7.2
PROGRAM
CORRECTNESS
7.3
THE
DEBATE
7.4
FORMAL
COMPUTATIONAL VALIDITY
EXERCISES
PART
II
THE ENGINEERING
FOUNDATION
8 THE
FIRST
GENERATION
OF
COMPUTERS
8.1
SHANNON S
CIRCUITS
8.2
EARLY MEMORIES
8.3
VON
NEUMANN DESIGN
8.4
UNIVERSALITY
AND
ALL-PURPOSEFULNESS
EXERCISES
9 THE
LAWS
OF
EVOLUTION
9.1
COMPUTING
GROWS
9.2
NEW MEMORIES
9.3
MINIATURIZATION, PARALLELISM,
AND
COMPATIBILITY
9.4
THE FIRST LAW
9.5
COMPUTATIONAL GROWTH
EXERCISES
10
PROPERTIES
OF
IMPLEMENTED COMPUTATIONS
10.1
PHYSICAL
COMPUTING
10.2
FUNCTIONALITY
10.3
USABILITY
10.4
EFFICIENCY
10.5
LIMITS
OF
THE
CHURCH-TURING
THESIS
EXERCISES
11
SPECIFICATION
AND
IMPLEMENTATION
11.1
THE DEBATE
ON
IMPLEMENTATION
11.2
CORRECT IMPLEMENTATIONS
11.3
MISCOMPUTATION
EXERCISES
65
65
69
72
73
74
76
80
81
81
88
100
107
114
115
117
117
122
130
136
140
143
143
144
151
156
161
170
171
171
176
181
184
186
187
189
189
193
196
198
CONTENTS
I
XIX
12
COMPUTING
AS
AN
ENGINEERING
DISCIPLINE
12.1 SOFTWARE ENGINEERING
12.2 THE DEBATE
12.3 PHYSICAL
COMPUTATIONAL
VALIDITY
EXERCISES
PART
III
THE EXPERIMENTAL
FOUNDATION
13
ELEMENTS
OF
EXPERIMENTAL
COMPUTING
13.1 EXPERIMENTAL
COMPUTER
SCIENCE
13.2 ON COMPUTATIONAL
HYPOTHESES
13.3 ON COMPUTATIONAL
EXPERIMENTS
EXERCISES
14
MODELS
AND
SIMULATIONS
14.1 ON
MODELS
14.2
ON
COMPUTER
SIMULATIONS
14.3 EPISTEMIC ROLE
OF
COMPUTER
SIMULATIONS
EXERCISES
15
FORMAL
RELATIONS
15.1 IDENTITY
AND
DEPENDENCE
15.2 ISOMORPHISM
15.3 ANALOGY
AND
SIMILARITY
15.4 VARIANTS
OF
SIMULATIONISM
EXERCISES
16
COMPUTING
AS AN
EXPERIMENTAL
DISCIPLINE
16.1
A BALANCED
APPROACH
16.2 EVALUATION
16.3 MAXIMAL
CRITERIA:
ROBUSTNESS
AND
RELIABILITY
16.4 MINIMAL
CRITERIA:
USABILITY
AND
FITNESS
16.5 EXPERIMENTAL
COMPUTATIONAL
VALIDITY
EXERCISES
17 CONCLUSION
BIBLIOGRAPHY
INDEX
199
199
206
209
213
215
217
217
222
226
230
231
231
235
238
240
241
241
244
246
248
254
255
255
256
262
265
267
269
271
273
293
|
| any_adam_object | 1 |
| author | Primiero, Giuseppe |
| author_GND | (DE-588)1188368222 |
| author_facet | Primiero, Giuseppe |
| author_role | aut |
| author_sort | Primiero, Giuseppe |
| author_variant | g p gp |
| building | Verbundindex |
| bvnumber | BV046281857 |
| ctrlnum | (OCoLC)1136451988 (DE-599)HBZHT020254542 |
| edition | First Edition |
| era | Geschichte gnd |
| era_facet | Geschichte |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01796nam a22004578c 4500</leader><controlfield tag="001">BV046281857</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210407 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">191203s2020 a||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBB9E9671</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780198835653</subfield><subfield code="c">pbk.: £ 40.00</subfield><subfield code="9">978-0-19-883565-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780198835646</subfield><subfield code="c">Hb.</subfield><subfield code="9">978-0-19-883564-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1136451988</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)HBZHT020254542</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-706</subfield><subfield code="a">DE-210</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">HIST</subfield><subfield code="q">DE-210</subfield><subfield code="2">fid</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Primiero, Giuseppe</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1188368222</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">On the foundations of computing</subfield><subfield code="c">Giuseppe Primiero</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">First Edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Oxford University Press</subfield><subfield code="c">2020</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xix, 296 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</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="500" ind1=" " ind2=" "><subfield code="a">Literaturverzeichnis Seite [273]-291</subfield></datafield><datafield tag="648" ind1=" " ind2="7"><subfield code="a">Geschichte</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield><subfield code="x">History</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="x">History</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Technikphilosophie</subfield><subfield code="0">(DE-588)4126976-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissenschaftsphilosophie</subfield><subfield code="0">(DE-588)4202787-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Wissenschaftsphilosophie</subfield><subfield code="0">(DE-588)4202787-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Technikphilosophie</subfield><subfield code="0">(DE-588)4126976-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Geschichte</subfield><subfield code="A">z</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 Deutsches Museum</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=031659450&sequence=000001&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-031659450</subfield></datafield></record></collection> |
| id | DE-604.BV046281857 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T08:40:27Z |
| institution | BVB |
| isbn | 9780198835653 9780198835646 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031659450 |
| oclc_num | 1136451988 |
| open_access_boolean | |
| owner | DE-706 DE-210 |
| owner_facet | DE-706 DE-210 |
| physical | xix, 296 Seiten Illustrationen, Diagramme 24 cm |
| publishDate | 2020 |
| publishDateSearch | 2020 |
| publishDateSort | 2020 |
| publisher | Oxford University Press |
| record_format | marc |
| spelling | Primiero, Giuseppe Verfasser (DE-588)1188368222 aut On the foundations of computing Giuseppe Primiero First Edition Oxford Oxford University Press 2020 xix, 296 Seiten Illustrationen, Diagramme 24 cm txt rdacontent n rdamedia nc rdacarrier Literaturverzeichnis Seite [273]-291 Geschichte gnd rswk-swf Computers History Computer science History Informatik (DE-588)4026894-9 gnd rswk-swf Technikphilosophie (DE-588)4126976-7 gnd rswk-swf Wissenschaftsphilosophie (DE-588)4202787-1 gnd rswk-swf Informatik (DE-588)4026894-9 s Wissenschaftsphilosophie (DE-588)4202787-1 s Technikphilosophie (DE-588)4126976-7 s Geschichte z DE-604 Digitalisierung Deutsches Museum application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031659450&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Primiero, Giuseppe On the foundations of computing Computers History Computer science History Informatik (DE-588)4026894-9 gnd Technikphilosophie (DE-588)4126976-7 gnd Wissenschaftsphilosophie (DE-588)4202787-1 gnd |
| subject_GND | (DE-588)4026894-9 (DE-588)4126976-7 (DE-588)4202787-1 |
| title | On the foundations of computing |
| title_auth | On the foundations of computing |
| title_exact_search | On the foundations of computing |
| title_full | On the foundations of computing Giuseppe Primiero |
| title_fullStr | On the foundations of computing Giuseppe Primiero |
| title_full_unstemmed | On the foundations of computing Giuseppe Primiero |
| title_short | On the foundations of computing |
| title_sort | on the foundations of computing |
| topic | Computers History Computer science History Informatik (DE-588)4026894-9 gnd Technikphilosophie (DE-588)4126976-7 gnd Wissenschaftsphilosophie (DE-588)4202787-1 gnd |
| topic_facet | Computers History Computer science History Informatik Technikphilosophie Wissenschaftsphilosophie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031659450&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT primierogiuseppe onthefoundationsofcomputing |