Verfügbarkeit: Turing tales :: THWS Bibkatalog

Turing tales:

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Daylight, Edgar G. (VerfasserIn)
Weitere Verfasser:	Fleck, Arthur Charles (MitwirkendeR), Boute, R. T. (MitwirkendeR), De Grave, Kurt (HerausgeberIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Geel, Belgium Lonely Scholar [2016]
Ausgabe:	First edition
Schlagworte:	Turing, Alan > 1912-1954 Geschichte Informatik Theorie Softwareentwicklung Turing, Alan / 1912-1954 Software engineering / History Computers / History Computers Software engineering History
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	x, 249 Seiten Illustrationen 23 cm
ISBN:	9789491386060

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV046236197
003	DE-604
005	20191219
007	t
008	191106s2016 a\|\|\| b\|\|\| 00\|\|\| eng d
020			\|a 9789491386060 \|9 978-94-91386-06-0
035			\|a (OCoLC)989863490
035			\|a (DE-599)BVBBV046236197
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-210
084			\|a HIST \|q DE-210 \|2 fid
100	1		\|a Daylight, Edgar G. \|e Verfasser \|0 (DE-588)1041897022 \|4 aut
245	1	0	\|a Turing tales \|c Edgar G. Daylight ; contributions by Arthur C. Fleck and Raymond T. Boute ; edited by Kurt De Grave
250			\|a First edition
264		1	\|a Geel, Belgium \|b Lonely Scholar \|c [2016]
264		4	\|c © 2016
300			\|a x, 249 Seiten \|b Illustrationen \|c 23 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
505	8		\|a Tatty Turing tale : Turing's true legacy does not lie in computer building but in programming languages -- Tiny Turing tale : Turing's 1936 paper did influence the Dutch computer builder Willem van der Poel -- Truehearted tale about Turing-Award winners : personal reflections on programming language history / by Arthur Fleck -- A gentle introduction to a titanic Turing tale -- Titanic Turing tale about Turing completeness and formal verification -- Tenacious tale about functions and relations : an annotated bibliography / by Raymound Boute
600	1	7	\|a Turing, Alan \|d 1912-1954 \|0 (DE-588)118802976 \|2 gnd \|9 rswk-swf
648		7	\|a Geschichte \|2 gnd \|9 rswk-swf
650	0	7	\|a Informatik \|0 (DE-588)4026894-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Theorie \|0 (DE-588)4059787-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|2 gnd \|9 rswk-swf
653		1	\|a Turing, Alan / 1912-1954
653		0	\|a Software engineering / History
653		0	\|a Computers / History
653		1	\|a Turing, Alan / 1912-1954
653		0	\|a Computers
653		0	\|a Software engineering
653		6	\|a History
689	0	0	\|a Turing, Alan \|d 1912-1954 \|0 (DE-588)118802976 \|D p
689	0	1	\|a Theorie \|0 (DE-588)4059787-8 \|D s
689	0	2	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	0	3	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	0	4	\|a Geschichte \|A z
689	0		\|5 DE-604
700	1		\|a Fleck, Arthur Charles \|4 ctb
700	1		\|a Boute, R. T. \|4 ctb
700	1		\|a De Grave, Kurt \|4 edt
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=031614606&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-031614606

Datensatz im Suchindex

_version_	1804180651175313408
adam_text	CONTENTS PREFACE V 1 INTRODUCTION 1 1.1 JOHN REYNOLDS AND TURING S 1936 PAPER . ....... .. 3 1.2 MICHAEL HICKS AND FORMAL VERIFICATION ........... 8 1.3 ABUSING THE HALTING PROBLEM .............. .. 14 1.4 PLURALISM TO THE RESCUE .................... 17 1.5 ARTHUR FLECK S REFLECTIONS & RAYMOND BOUTE S SCRUTINY . 19 2 TATTY TURING TALE: TURING S TRUE LEGACY DOES NOT LIE IN COMPUTER BUILDING BUT IN PROGRAMMING LANGUAGES 21 2.1 INTRODUCTION ......... . ....... ......... 22 2.2 MACHINE TRANSLATION ..................... 24 2.3 AUTOMATIC PROGRAMMING ..... . ............ 27 2.4 HALF A CENTURY LATER . .... ...... . ....... .. 38 2.5 CLOSING REMARKS ....................... 41 3 TINY TURING TALE: TURING S 1936 PAPER DID INFLUENCE THE DUTCH COMPUTER BUILDER WILLEM VAN DER POEL 45 3.1 DELFT ...... .... .... ....... ....... .. 48 3.2 AMSTERDAM .......................... 50 3.3 EDSGER DIJKSTRA .................. .... .. 51 HI Y, IBIIOT. HEK DEUTSCHES MUSEUM -; IV CONTENTS 3.4 WILLEM VAN DER POEL ........... .......... 54 3.5 DIJKSTRA VERSUS VAN DER POEL ... .... .... .... .. 59 3.6 CLOSING REMARKS ..... . ... . ... ........ .. 60 4 TRUEHEARTED TALE ABOUT TURING-AWARD WINNERS: PER- SONAL REFLECTIONS ON PROGRAMMING LANGUAGE HISTORY - BY ARTHUR FLECK 63 4.1 A FIRST STEP . .... .... ........... ...... 64 4.2 GETTING SERIOUS ........................ 65 4.3 SETTLING INTO AN ACADEMIC CAREER ........ .... .. 71 4.4 ADVANCING THE THEORY OF PROGRAMMING LANGUAGES . .. 74 4.5 DISTINCTIVE LANGUAGE ALTERNATIVES ... ......... . 79 4.6 DECLARATIVE LANGUAGES .......... ... . ...... 85 4.7 SUMMARY AND CONCLUSIONS ................. 89 5A GENTLE INTRODUCTION TO A TITANIC TURING TALE 93 5.1 ANDREW APPEL AND DEEP SPECIFICATION .......... 96 5.2 THE PARNAS-CHAUDHURI EXCHANGE .... .... ...... 99 5.3 MARVIN MINSKY AND THE GATEKEEPER ........... . 102 5.4 ALBERT MEYER, DENNIS RITCHIE, AND THE GATEKEEPER .... 105 5.5 RAYMOND TURNER AND TECHNICAL ARTEFACTS ......... 111 6 TITANIC TURING TALE ABOUT TURING COMPLETENESS AND FORMAL VERIFICATION 113 6.1 INTRODUCTION ..... ....... .... .... ...... 114 6.2 CONCEPTUAL CLARITY ..... ....... . ... ...... 118 6.3 A HISTORICAL MINI-TOUR .................... 129 6.4 FLAWED INCOMPUTABILITY CLAIMS ............... 138 6.5 FORMAL VERIFICATION UNPLUGGED ............... 142 6.6 CLOSING REMARKS ......... ... . ........ .. 144 CONTENTS V 7 TENACIOUS TALE ABOUT FUNCTIONS AND RELATIONS: AN ANNOTATED BIBLIOGRAPHY - BY RAYMOND BOUTE 147 7.1 INTRODUCTION .......................... 148 7.2 READING COMPANION ...................... 149 7.2.1 RELATIONS I: SIMPLE AND SAFE FORMULATIONS . .... 149 7.2.2 RELATIONS II: FROM COMBINED TO UNSOUND FORMULA- TIONS .......................... 151 7.2.3 FUNCTIONS I: SIMPLE AND SAFE FORMULATIONS . .... 152 7.2.4 FUNCTIONS II: PURE CONCEPT VS. REPRESENTATION ... 153 7.2.5 FUNCTIONS III: CONVOLUTED FORMULATIONS ...... 155 7.2.6 FUNCTIONS IV: UNSOUND FORMULATIONS IN RECENT TEXTS . ... ... ... ......... . ... ... 156 7.2.7 TECHNICAL EVALUATION: UNIVERSALITY VS. CODOMAINS 157 7.3 ANNOTATED BIBLIOGRAPHICAL LIST ..... .... .... ... 160 7.4 SOME RAMIFICATIONS . ..................... 179 7.5 CONCLUSIONS .... ........... .... .... ... 183 8 CONCLUSIONS 185 8.1 THREE TURING TALES . ... ................ ... 187 8.2 JOHN REYNOLDS AND PROOF-CARRYING CODE .... ..... 192 A JEROEN VOETEN S FUNDAMENTAL LIMITATIONS ENDNOTES BIBLIOGRAPHY INDEX 197 201 221 244
any_adam_object	1
author	Daylight, Edgar G.
author2	Fleck, Arthur Charles Boute, R. T. De Grave, Kurt
author2_role	ctb ctb edt
author2_variant	a c f ac acf r t b rt rtb g k d gk gkd
author_GND	(DE-588)1041897022
author_facet	Daylight, Edgar G. Fleck, Arthur Charles Boute, R. T. De Grave, Kurt
author_role	aut
author_sort	Daylight, Edgar G.
author_variant	e g d eg egd
building	Verbundindex
bvnumber	BV046236197
contents	Tatty Turing tale : Turing's true legacy does not lie in computer building but in programming languages -- Tiny Turing tale : Turing's 1936 paper did influence the Dutch computer builder Willem van der Poel -- Truehearted tale about Turing-Award winners : personal reflections on programming language history / by Arthur Fleck -- A gentle introduction to a titanic Turing tale -- Titanic Turing tale about Turing completeness and formal verification -- Tenacious tale about functions and relations : an annotated bibliography / by Raymound Boute
ctrlnum	(OCoLC)989863490 (DE-599)BVBBV046236197
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>02662nam a2200565 c 4500</leader><controlfield tag="001">BV046236197</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20191219 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">191106s2016 a\|\|\| b\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789491386060</subfield><subfield code="9">978-94-91386-06-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)989863490</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046236197</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-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">Daylight, Edgar G.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1041897022</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Turing tales</subfield><subfield code="c">Edgar G. Daylight ; contributions by Arthur C. Fleck and Raymond T. Boute ; edited by Kurt De Grave</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">First edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Geel, Belgium</subfield><subfield code="b">Lonely Scholar</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">x, 249 Seiten</subfield><subfield code="b">Illustrationen</subfield><subfield code="c">23 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="505" ind1="8" ind2=" "><subfield code="a">Tatty Turing tale : Turing's true legacy does not lie in computer building but in programming languages -- Tiny Turing tale : Turing's 1936 paper did influence the Dutch computer builder Willem van der Poel -- Truehearted tale about Turing-Award winners : personal reflections on programming language history / by Arthur Fleck -- A gentle introduction to a titanic Turing tale -- Titanic Turing tale about Turing completeness and formal verification -- Tenacious tale about functions and relations : an annotated bibliography / by Raymound Boute</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Turing, Alan</subfield><subfield code="d">1912-1954</subfield><subfield code="0">(DE-588)118802976</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="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">Theorie</subfield><subfield code="0">(DE-588)4059787-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2="1"><subfield code="a">Turing, Alan / 1912-1954</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Software engineering / History</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Computers / History</subfield></datafield><datafield tag="653" ind1=" " ind2="1"><subfield code="a">Turing, Alan / 1912-1954</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Computers</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Software engineering</subfield></datafield><datafield tag="653" ind1=" " ind2="6"><subfield code="a">History</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Turing, Alan</subfield><subfield code="d">1912-1954</subfield><subfield code="0">(DE-588)118802976</subfield><subfield code="D">p</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Theorie</subfield><subfield code="0">(DE-588)4059787-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><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="4"><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="700" ind1="1" ind2=" "><subfield code="a">Fleck, Arthur Charles</subfield><subfield code="4">ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Boute, R. T.</subfield><subfield code="4">ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">De Grave, Kurt</subfield><subfield code="4">edt</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=031614606&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-031614606</subfield></datafield></record></collection>
id	DE-604.BV046236197
illustrated	Illustrated
indexdate	2024-07-10T08:39:09Z
institution	BVB
isbn	9789491386060
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-031614606
oclc_num	989863490
open_access_boolean
owner	DE-210
owner_facet	DE-210
physical	x, 249 Seiten Illustrationen 23 cm
publishDate	2016
publishDateSearch	2016
publishDateSort	2016
publisher	Lonely Scholar
record_format	marc
spelling	Daylight, Edgar G. Verfasser (DE-588)1041897022 aut Turing tales Edgar G. Daylight ; contributions by Arthur C. Fleck and Raymond T. Boute ; edited by Kurt De Grave First edition Geel, Belgium Lonely Scholar [2016] © 2016 x, 249 Seiten Illustrationen 23 cm txt rdacontent n rdamedia nc rdacarrier Tatty Turing tale : Turing's true legacy does not lie in computer building but in programming languages -- Tiny Turing tale : Turing's 1936 paper did influence the Dutch computer builder Willem van der Poel -- Truehearted tale about Turing-Award winners : personal reflections on programming language history / by Arthur Fleck -- A gentle introduction to a titanic Turing tale -- Titanic Turing tale about Turing completeness and formal verification -- Tenacious tale about functions and relations : an annotated bibliography / by Raymound Boute Turing, Alan 1912-1954 (DE-588)118802976 gnd rswk-swf Geschichte gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Theorie (DE-588)4059787-8 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Turing, Alan / 1912-1954 Software engineering / History Computers / History Computers Software engineering History Turing, Alan 1912-1954 (DE-588)118802976 p Theorie (DE-588)4059787-8 s Softwareentwicklung (DE-588)4116522-6 s Informatik (DE-588)4026894-9 s Geschichte z DE-604 Fleck, Arthur Charles ctb Boute, R. T. ctb De Grave, Kurt edt Digitalisierung Deutsches Museum application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031614606&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Daylight, Edgar G. Turing tales Tatty Turing tale : Turing's true legacy does not lie in computer building but in programming languages -- Tiny Turing tale : Turing's 1936 paper did influence the Dutch computer builder Willem van der Poel -- Truehearted tale about Turing-Award winners : personal reflections on programming language history / by Arthur Fleck -- A gentle introduction to a titanic Turing tale -- Titanic Turing tale about Turing completeness and formal verification -- Tenacious tale about functions and relations : an annotated bibliography / by Raymound Boute Turing, Alan 1912-1954 (DE-588)118802976 gnd Informatik (DE-588)4026894-9 gnd Theorie (DE-588)4059787-8 gnd Softwareentwicklung (DE-588)4116522-6 gnd
subject_GND	(DE-588)118802976 (DE-588)4026894-9 (DE-588)4059787-8 (DE-588)4116522-6
title	Turing tales
title_auth	Turing tales
title_exact_search	Turing tales
title_full	Turing tales Edgar G. Daylight ; contributions by Arthur C. Fleck and Raymond T. Boute ; edited by Kurt De Grave
title_fullStr	Turing tales Edgar G. Daylight ; contributions by Arthur C. Fleck and Raymond T. Boute ; edited by Kurt De Grave
title_full_unstemmed	Turing tales Edgar G. Daylight ; contributions by Arthur C. Fleck and Raymond T. Boute ; edited by Kurt De Grave
title_short	Turing tales
title_sort	turing tales
topic	Turing, Alan 1912-1954 (DE-588)118802976 gnd Informatik (DE-588)4026894-9 gnd Theorie (DE-588)4059787-8 gnd Softwareentwicklung (DE-588)4116522-6 gnd
topic_facet	Turing, Alan 1912-1954 Informatik Theorie Softwareentwicklung
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031614606&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT daylightedgarg turingtales AT fleckarthurcharles turingtales AT boutert turingtales AT degravekurt turingtales

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge