Gödel and the Origins of Computer Science
The centenary of Kurt Gödel (1906–78) is an appropriate occasion on which to assess his profound, yet indirect, influence on the development of computer science. His contributions to and attitudes toward that field are discussed, and are compared with those of other pioneer figures such as Alonzo Ch...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 136 |
|---|---|
| container_issue | |
| container_start_page | 133 |
| container_title | |
| container_volume | |
| creator | Dawson, John W. |
| description | The centenary of Kurt Gödel (1906–78) is an appropriate occasion on which to assess his profound, yet indirect, influence on the development of computer science. His contributions to and attitudes toward that field are discussed, and are compared with those of other pioneer figures such as Alonzo Church, Emil Post, Alan Turing, and John von Neumann, in order better to understand why Gödel’s role was no greater than it was. |
| doi_str_mv | 10.1007/11780342_14 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>pascalfrancis_sprin</sourceid><recordid>TN_cdi_pascalfrancis_primary_19688480</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>19688480</sourcerecordid><originalsourceid>FETCH-LOGICAL-p219t-7b483aadc671a93d66dea63d1478e44cc47bf478949048611d88d467e5f2357d3</originalsourceid><addsrcrecordid>eNpNkM1KxDAUheMfONaufIFuXChUc5vb_Cyl6CgMzEJdhzRJx2KnLUld-GK-wLyYlVFwcTgHzuFy-Qi5AHoDlIpbACEpw0IDHpAzViKdxaU6JAvgADljqI5IqoT86zg_JgvKaJErgeyUpDG2NaWglCwBF-R6uftyvstM77LpzWfr0G7aPmZDk1XDdvyYfMiebet768_JSWO66NNfT8jrw_1L9Ziv1sun6m6VjwWoKRc1SmaMs1yAUcxx7rzhzAEK6RGtRVE3c1aoKMr5ayelQy582RSsFI4l5HJ_dzTRmq4Jprdt1GNotyZ8alBcSpwxJORqv4tz1W980PUwvEcNVP_A0v9gsW99jVTJ</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Gödel and the Origins of Computer Science</title><source>Springer Books</source><creator>Dawson, John W.</creator><contributor>Tucker, John V. ; Beckmann, Arnold ; Berger, Ulrich ; Löwe, Benedikt</contributor><creatorcontrib>Dawson, John W. ; Tucker, John V. ; Beckmann, Arnold ; Berger, Ulrich ; Löwe, Benedikt</creatorcontrib><description>The centenary of Kurt Gödel (1906–78) is an appropriate occasion on which to assess his profound, yet indirect, influence on the development of computer science. His contributions to and attitudes toward that field are discussed, and are compared with those of other pioneer figures such as Alonzo Church, Emil Post, Alan Turing, and John von Neumann, in order better to understand why Gödel’s role was no greater than it was.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 9783540354666</identifier><identifier>ISBN: 3540354662</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 3540354689</identifier><identifier>EISBN: 9783540354680</identifier><identifier>DOI: 10.1007/11780342_14</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin Heidelberg</publisher><subject>Algorithmics. Computability. Computer arithmetics ; Applied sciences ; Collect Work ; Computer science; control theory; systems ; Exact sciences and technology ; Human Mind ; Incompleteness Theorem ; Recursion Theory ; Theoretical computing ; Untimely Death</subject><ispartof>Lecture notes in computer science, 2006, p.133-136</ispartof><rights>Springer-Verlag Berlin Heidelberg 2006</rights><rights>2007 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/11780342_14$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/11780342_14$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,775,776,780,785,786,789,4035,4036,27904,38234,41421,42490</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=19688480$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Tucker, John V.</contributor><contributor>Beckmann, Arnold</contributor><contributor>Berger, Ulrich</contributor><contributor>Löwe, Benedikt</contributor><creatorcontrib>Dawson, John W.</creatorcontrib><title>Gödel and the Origins of Computer Science</title><title>Lecture notes in computer science</title><description>The centenary of Kurt Gödel (1906–78) is an appropriate occasion on which to assess his profound, yet indirect, influence on the development of computer science. His contributions to and attitudes toward that field are discussed, and are compared with those of other pioneer figures such as Alonzo Church, Emil Post, Alan Turing, and John von Neumann, in order better to understand why Gödel’s role was no greater than it was.</description><subject>Algorithmics. Computability. Computer arithmetics</subject><subject>Applied sciences</subject><subject>Collect Work</subject><subject>Computer science; control theory; systems</subject><subject>Exact sciences and technology</subject><subject>Human Mind</subject><subject>Incompleteness Theorem</subject><subject>Recursion Theory</subject><subject>Theoretical computing</subject><subject>Untimely Death</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>9783540354666</isbn><isbn>3540354662</isbn><isbn>3540354689</isbn><isbn>9783540354680</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2006</creationdate><recordtype>conference_proceeding</recordtype><recordid>eNpNkM1KxDAUheMfONaufIFuXChUc5vb_Cyl6CgMzEJdhzRJx2KnLUld-GK-wLyYlVFwcTgHzuFy-Qi5AHoDlIpbACEpw0IDHpAzViKdxaU6JAvgADljqI5IqoT86zg_JgvKaJErgeyUpDG2NaWglCwBF-R6uftyvstM77LpzWfr0G7aPmZDk1XDdvyYfMiebet768_JSWO66NNfT8jrw_1L9Ziv1sun6m6VjwWoKRc1SmaMs1yAUcxx7rzhzAEK6RGtRVE3c1aoKMr5ayelQy582RSsFI4l5HJ_dzTRmq4Jprdt1GNotyZ8alBcSpwxJORqv4tz1W980PUwvEcNVP_A0v9gsW99jVTJ</recordid><startdate>2006</startdate><enddate>2006</enddate><creator>Dawson, John W.</creator><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>IQODW</scope></search><sort><creationdate>2006</creationdate><title>Gödel and the Origins of Computer Science</title><author>Dawson, John W.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p219t-7b483aadc671a93d66dea63d1478e44cc47bf478949048611d88d467e5f2357d3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2006</creationdate><topic>Algorithmics. Computability. Computer arithmetics</topic><topic>Applied sciences</topic><topic>Collect Work</topic><topic>Computer science; control theory; systems</topic><topic>Exact sciences and technology</topic><topic>Human Mind</topic><topic>Incompleteness Theorem</topic><topic>Recursion Theory</topic><topic>Theoretical computing</topic><topic>Untimely Death</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Dawson, John W.</creatorcontrib><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Dawson, John W.</au><au>Tucker, John V.</au><au>Beckmann, Arnold</au><au>Berger, Ulrich</au><au>Löwe, Benedikt</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Gödel and the Origins of Computer Science</atitle><btitle>Lecture notes in computer science</btitle><date>2006</date><risdate>2006</risdate><spage>133</spage><epage>136</epage><pages>133-136</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>9783540354666</isbn><isbn>3540354662</isbn><eisbn>3540354689</eisbn><eisbn>9783540354680</eisbn><abstract>The centenary of Kurt Gödel (1906–78) is an appropriate occasion on which to assess his profound, yet indirect, influence on the development of computer science. His contributions to and attitudes toward that field are discussed, and are compared with those of other pioneer figures such as Alonzo Church, Emil Post, Alan Turing, and John von Neumann, in order better to understand why Gödel’s role was no greater than it was.</abstract><cop>Berlin, Heidelberg</cop><pub>Springer Berlin Heidelberg</pub><doi>10.1007/11780342_14</doi><tpages>4</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | Lecture notes in computer science, 2006, p.133-136 |
| issn | 0302-9743 1611-3349 |
| language | eng |
| recordid | cdi_pascalfrancis_primary_19688480 |
| source | Springer Books |
| subjects | Algorithmics. Computability. Computer arithmetics Applied sciences Collect Work Computer science control theory systems Exact sciences and technology Human Mind Incompleteness Theorem Recursion Theory Theoretical computing Untimely Death |
| title | Gödel and the Origins of Computer Science |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-27T06%3A44%3A31IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis_sprin&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=G%C3%B6del%20and%20the%20Origins%20of%20Computer%20Science&rft.btitle=Lecture%20notes%20in%20computer%20science&rft.au=Dawson,%20John%20W.&rft.date=2006&rft.spage=133&rft.epage=136&rft.pages=133-136&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=9783540354666&rft.isbn_list=3540354662&rft_id=info:doi/10.1007/11780342_14&rft_dat=%3Cpascalfrancis_sprin%3E19688480%3C/pascalfrancis_sprin%3E%3Curl%3E%3C/url%3E&rft.eisbn=3540354689&rft.eisbn_list=9783540354680&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |