Gödel and the Origins of Computer Science View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2006

AUTHORS

John W. Dawson

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. More... »

PAGES

133-136

Book

TITLE

Logical Approaches to Computational Barriers

ISBN

978-3-540-35466-6
978-3-540-35468-0

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/11780342_14

DOI

http://dx.doi.org/10.1007/11780342_14

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1018709908


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0406", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Physical Geography and Environmental Geoscience", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/04", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Earth Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Penn State York", 
          "id": "https://www.grid.ac/institutes/grid.261815.9", 
          "name": [
            "Penn State York, 1031 Edgecomb Avenue, 17403, York, PA, U.S.A."
          ], 
          "type": "Organization"
        }, 
        "familyName": "Dawson", 
        "givenName": "John W.", 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1007/bf01700692", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1016008840", 
          "https://doi.org/10.1007/bf01700692"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.2178/bsl/1120231628", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1046719036"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-1-4612-2566-9_4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1047817108", 
          "https://doi.org/10.1007/978-1-4612-2566-9_4"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.2307/2324850", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1069889698"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2006", 
    "datePublishedReg": "2006-01-01", 
    "description": "The centenary of Kurt G\u00f6del (1906\u201378) 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\u00f6del\u2019s role was no greater than it was.", 
    "editor": [
      {
        "familyName": "Beckmann", 
        "givenName": "Arnold", 
        "type": "Person"
      }, 
      {
        "familyName": "Berger", 
        "givenName": "Ulrich", 
        "type": "Person"
      }, 
      {
        "familyName": "L\u00f6we", 
        "givenName": "Benedikt", 
        "type": "Person"
      }, 
      {
        "familyName": "Tucker", 
        "givenName": "John V.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/11780342_14", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-35466-6", 
        "978-3-540-35468-0"
      ], 
      "name": "Logical Approaches to Computational Barriers", 
      "type": "Book"
    }, 
    "name": "G\u00f6del and the Origins of Computer Science", 
    "pagination": "133-136", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1018709908"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/11780342_14"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "592571e3736e8ceec3b10768887a3b6bf18eced42dd2acb962d3f9275658c2c3"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/11780342_14", 
      "https://app.dimensions.ai/details/publication/pub.1018709908"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-16T07:29", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000356_0000000356/records_57868_00000000.jsonl", 
    "type": "Chapter", 
    "url": "https://link.springer.com/10.1007%2F11780342_14"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/11780342_14'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/11780342_14'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/11780342_14'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/11780342_14'


 

This table displays all metadata directly associated to this object as RDF triples.

93 TRIPLES      23 PREDICATES      31 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/11780342_14 schema:about anzsrc-for:04
2 anzsrc-for:0406
3 schema:author Ncda901ecce9c438d8acb296682acc104
4 schema:citation sg:pub.10.1007/978-1-4612-2566-9_4
5 sg:pub.10.1007/bf01700692
6 https://doi.org/10.2178/bsl/1120231628
7 https://doi.org/10.2307/2324850
8 schema:datePublished 2006
9 schema:datePublishedReg 2006-01-01
10 schema: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.
11 schema:editor N6d2979aa60634bd19371623c887b305e
12 schema:genre chapter
13 schema:inLanguage en
14 schema:isAccessibleForFree false
15 schema:isPartOf Na6e4102a365946bf97980983d6836a4f
16 schema:name Gödel and the Origins of Computer Science
17 schema:pagination 133-136
18 schema:productId Nc84392ca572c4cccb3e07416869ebb01
19 Nd0444cf55d2a4047ac1c181ef20ad241
20 Nfcc418b3ecdb4bbbbee5017112f61b8f
21 schema:publisher N2358519336304ffa80de11dff5083f60
22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018709908
23 https://doi.org/10.1007/11780342_14
24 schema:sdDatePublished 2019-04-16T07:29
25 schema:sdLicense https://scigraph.springernature.com/explorer/license/
26 schema:sdPublisher Nfc9f8e1c82ac44cdbaf905774d2c2551
27 schema:url https://link.springer.com/10.1007%2F11780342_14
28 sgo:license sg:explorer/license/
29 sgo:sdDataset chapters
30 rdf:type schema:Chapter
31 N211c745f8550404fa5f8909012c0e968 schema:familyName Berger
32 schema:givenName Ulrich
33 rdf:type schema:Person
34 N2358519336304ffa80de11dff5083f60 schema:location Berlin, Heidelberg
35 schema:name Springer Berlin Heidelberg
36 rdf:type schema:Organisation
37 N3c4ed4fe14e24d3287d3b1b7b74805b7 schema:affiliation https://www.grid.ac/institutes/grid.261815.9
38 schema:familyName Dawson
39 schema:givenName John W.
40 rdf:type schema:Person
41 N6d2979aa60634bd19371623c887b305e rdf:first N90cd37ed17a74997bebf32ba05855117
42 rdf:rest N7f7c0219c43b4d4ead7c907e9c5f5277
43 N7f7c0219c43b4d4ead7c907e9c5f5277 rdf:first N211c745f8550404fa5f8909012c0e968
44 rdf:rest Ne8fb907c6b4d49319a5df532314dc2ad
45 N86edab8841e74628803f170c06f108e8 rdf:first Nbe8c703e85e244eab30514c2109f4ae3
46 rdf:rest rdf:nil
47 N90cd37ed17a74997bebf32ba05855117 schema:familyName Beckmann
48 schema:givenName Arnold
49 rdf:type schema:Person
50 Na6e4102a365946bf97980983d6836a4f schema:isbn 978-3-540-35466-6
51 978-3-540-35468-0
52 schema:name Logical Approaches to Computational Barriers
53 rdf:type schema:Book
54 Nbe8c703e85e244eab30514c2109f4ae3 schema:familyName Tucker
55 schema:givenName John V.
56 rdf:type schema:Person
57 Nc84392ca572c4cccb3e07416869ebb01 schema:name doi
58 schema:value 10.1007/11780342_14
59 rdf:type schema:PropertyValue
60 Ncda901ecce9c438d8acb296682acc104 rdf:first N3c4ed4fe14e24d3287d3b1b7b74805b7
61 rdf:rest rdf:nil
62 Nd0444cf55d2a4047ac1c181ef20ad241 schema:name dimensions_id
63 schema:value pub.1018709908
64 rdf:type schema:PropertyValue
65 Ne8fb907c6b4d49319a5df532314dc2ad rdf:first Nf0735de0188c4221955843a5eabecef4
66 rdf:rest N86edab8841e74628803f170c06f108e8
67 Nf0735de0188c4221955843a5eabecef4 schema:familyName Löwe
68 schema:givenName Benedikt
69 rdf:type schema:Person
70 Nfc9f8e1c82ac44cdbaf905774d2c2551 schema:name Springer Nature - SN SciGraph project
71 rdf:type schema:Organization
72 Nfcc418b3ecdb4bbbbee5017112f61b8f schema:name readcube_id
73 schema:value 592571e3736e8ceec3b10768887a3b6bf18eced42dd2acb962d3f9275658c2c3
74 rdf:type schema:PropertyValue
75 anzsrc-for:04 schema:inDefinedTermSet anzsrc-for:
76 schema:name Earth Sciences
77 rdf:type schema:DefinedTerm
78 anzsrc-for:0406 schema:inDefinedTermSet anzsrc-for:
79 schema:name Physical Geography and Environmental Geoscience
80 rdf:type schema:DefinedTerm
81 sg:pub.10.1007/978-1-4612-2566-9_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047817108
82 https://doi.org/10.1007/978-1-4612-2566-9_4
83 rdf:type schema:CreativeWork
84 sg:pub.10.1007/bf01700692 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016008840
85 https://doi.org/10.1007/bf01700692
86 rdf:type schema:CreativeWork
87 https://doi.org/10.2178/bsl/1120231628 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046719036
88 rdf:type schema:CreativeWork
89 https://doi.org/10.2307/2324850 schema:sameAs https://app.dimensions.ai/details/publication/pub.1069889698
90 rdf:type schema:CreativeWork
91 https://www.grid.ac/institutes/grid.261815.9 schema:alternateName Penn State York
92 schema:name Penn State York, 1031 Edgecomb Avenue, 17403, York, PA, U.S.A.
93 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...