Arcane Information, Solving Relations, and Church Censorship View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2010

AUTHORS

David Hutchison , Takeo Kanade , Josef Kittler , Jon M. Kleinberg , Friedemann Mattern , John C. Mitchell , Moni Naor , Oscar Nierstrasz , C. Pandu Rangan , Bernhard Steffen , Madhu Sudan , Demetri Terzopoulos , Doug Tygar , Moshe Y. Vardi , Gerhard Weikum , Leonid A. Levin

ABSTRACT

Church-Turing Thesis fails for problems that allow multiple answers: many easily solvable problems allow only non-recursive solutions. Its corrected version is: Physical and Mathematical Sequences have Little Common Information. This requires extending Kolmogorov’s concept of mutual information to infinite strings. This is tricky; the talk will survey these and other related issues. Related Information can found at: http://arxiv.org/abs/cs.CC/0203029 . More... »

PAGES

1-1

Book

TITLE

Stabilization, Safety, and Security of Distributed Systems

ISBN

978-3-642-16022-6
978-3-642-16023-3

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-642-16023-3_1

DOI

http://dx.doi.org/10.1007/978-3-642-16023-3_1

DIMENSIONS

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


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/0102", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Applied Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/01", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Mathematical Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "familyName": "Hutchison", 
        "givenName": "David", 
        "id": "sg:person.012636622347.55", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012636622347.55"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Kanade", 
        "givenName": "Takeo", 
        "id": "sg:person.010127272557.31", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010127272557.31"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Kittler", 
        "givenName": "Josef", 
        "id": "sg:person.010622266176.73", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010622266176.73"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Kleinberg", 
        "givenName": "Jon M.", 
        "id": "sg:person.011522233557.04", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011522233557.04"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Mattern", 
        "givenName": "Friedemann", 
        "id": "sg:person.012317614157.00", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012317614157.00"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Mitchell", 
        "givenName": "John C.", 
        "type": "Person"
      }, 
      {
        "familyName": "Naor", 
        "givenName": "Moni", 
        "id": "sg:person.07776170271.83", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07776170271.83"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Nierstrasz", 
        "givenName": "Oscar", 
        "id": "sg:person.014510135557.74", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014510135557.74"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Rangan", 
        "givenName": "C. Pandu", 
        "id": "sg:person.016366027737.61", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016366027737.61"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Steffen", 
        "givenName": "Bernhard", 
        "id": "sg:person.013270457265.00", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013270457265.00"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Sudan", 
        "givenName": "Madhu", 
        "id": "sg:person.014663420265.17", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014663420265.17"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Terzopoulos", 
        "givenName": "Demetri", 
        "id": "sg:person.016347323445.35", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016347323445.35"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Tygar", 
        "givenName": "Doug", 
        "id": "sg:person.011464452455.47", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011464452455.47"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Vardi", 
        "givenName": "Moshe Y.", 
        "id": "sg:person.011743631465.56", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011743631465.56"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Weikum", 
        "givenName": "Gerhard", 
        "id": "sg:person.010663162237.83", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010663162237.83"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Boston University", 
          "id": "https://www.grid.ac/institutes/grid.189504.1", 
          "name": [
            "Boston University,"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Levin", 
        "givenName": "Leonid A.", 
        "id": "sg:person.013655053347.02", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013655053347.02"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2010", 
    "datePublishedReg": "2010-01-01", 
    "description": "Church-Turing Thesis fails for problems that allow multiple answers: many easily solvable problems allow only non-recursive solutions. Its corrected version is: Physical and Mathematical Sequences have Little Common Information. This requires extending Kolmogorov\u2019s concept of mutual information to infinite strings. This is tricky; the talk will survey these and other related issues. Related Information can found at: http://arxiv.org/abs/cs.CC/0203029 .", 
    "editor": [
      {
        "familyName": "Dolev", 
        "givenName": "Shlomi", 
        "type": "Person"
      }, 
      {
        "familyName": "Cobb", 
        "givenName": "Jorge", 
        "type": "Person"
      }, 
      {
        "familyName": "Fischer", 
        "givenName": "Michael", 
        "type": "Person"
      }, 
      {
        "familyName": "Yung", 
        "givenName": "Moti", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-642-16023-3_1", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-642-16022-6", 
        "978-3-642-16023-3"
      ], 
      "name": "Stabilization, Safety, and Security of Distributed Systems", 
      "type": "Book"
    }, 
    "name": "Arcane Information, Solving Relations, and Church Censorship", 
    "pagination": "1-1", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-642-16023-3_1"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "30d476f991d4a89ad84955791e810d58b1680381a12fc1549ebaf33010f72238"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1010249467"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-642-16023-3_1", 
      "https://app.dimensions.ai/details/publication/pub.1010249467"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T18:54", 
    "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/0000000001_0000000264/records_8684_00000017.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/978-3-642-16023-3_1"
  }
]
 

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/978-3-642-16023-3_1'

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/978-3-642-16023-3_1'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-16023-3_1'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-16023-3_1'


 

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

169 TRIPLES      22 PREDICATES      27 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-642-16023-3_1 schema:about anzsrc-for:01
2 anzsrc-for:0102
3 schema:author N58e7cea2d88c4df58dab9fd518b6d237
4 schema:datePublished 2010
5 schema:datePublishedReg 2010-01-01
6 schema:description Church-Turing Thesis fails for problems that allow multiple answers: many easily solvable problems allow only non-recursive solutions. Its corrected version is: Physical and Mathematical Sequences have Little Common Information. This requires extending Kolmogorov’s concept of mutual information to infinite strings. This is tricky; the talk will survey these and other related issues. Related Information can found at: http://arxiv.org/abs/cs.CC/0203029 .
7 schema:editor Nfbcb501a48744986ad1041ee03918cf1
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N86236a616e824d38b670e22ea33edeed
12 schema:name Arcane Information, Solving Relations, and Church Censorship
13 schema:pagination 1-1
14 schema:productId N0730b53f7e924ec5875274f5afb3205f
15 N8e032126c4c145daba27b04c18bf851d
16 Na0403d7c9784480fbd4a760709c7713b
17 schema:publisher N17383025cef643ec8394258dfe973fb8
18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010249467
19 https://doi.org/10.1007/978-3-642-16023-3_1
20 schema:sdDatePublished 2019-04-15T18:54
21 schema:sdLicense https://scigraph.springernature.com/explorer/license/
22 schema:sdPublisher Nb7e9fb34d65b474ea53d44b69f3f4a11
23 schema:url http://link.springer.com/10.1007/978-3-642-16023-3_1
24 sgo:license sg:explorer/license/
25 sgo:sdDataset chapters
26 rdf:type schema:Chapter
27 N042296310bf94414a0448af95e76da26 rdf:first sg:person.014663420265.17
28 rdf:rest N8886f51cc66a47c6bc2d17ed950702c9
29 N0730b53f7e924ec5875274f5afb3205f schema:name doi
30 schema:value 10.1007/978-3-642-16023-3_1
31 rdf:type schema:PropertyValue
32 N0bd3ee49a38845de82701fbe06c281d3 rdf:first sg:person.010127272557.31
33 rdf:rest Nef15ac8af2f54b31bc2d23c03a54a728
34 N14e6ee553817465da126ed18b1dc3c28 schema:familyName Fischer
35 schema:givenName Michael
36 rdf:type schema:Person
37 N17383025cef643ec8394258dfe973fb8 schema:location Berlin, Heidelberg
38 schema:name Springer Berlin Heidelberg
39 rdf:type schema:Organisation
40 N1ca8eed6e44144469d782b0d4688bf8a schema:familyName Mitchell
41 schema:givenName John C.
42 rdf:type schema:Person
43 N24555722ea20445799b989f51ecac487 rdf:first N1ca8eed6e44144469d782b0d4688bf8a
44 rdf:rest Nd833df3eb4394b3a9fa00608533159db
45 N257d802a7c9340779f9ceea2313943c9 rdf:first Ne81fba5f943b4baf973af03de34c3358
46 rdf:rest N389f018242c84439a08d412f3e4549ed
47 N31d6213ea4234ceeb4444599130a1864 rdf:first sg:person.012317614157.00
48 rdf:rest N24555722ea20445799b989f51ecac487
49 N325502d8262643ac95c46e24f0828597 rdf:first sg:person.016366027737.61
50 rdf:rest N899958bab0e547ca94f535872fe327c4
51 N389f018242c84439a08d412f3e4549ed rdf:first N14e6ee553817465da126ed18b1dc3c28
52 rdf:rest N9791cae89c7c4d178db6c57168b5c8b4
53 N44de502a8e3d4cc791fe599d78b1bbfe rdf:first sg:person.011464452455.47
54 rdf:rest N8864e68167a046cbadf47ffe71c8263b
55 N58e7cea2d88c4df58dab9fd518b6d237 rdf:first sg:person.012636622347.55
56 rdf:rest N0bd3ee49a38845de82701fbe06c281d3
57 N5ffa62612c2e42dd9039936d39b771bc schema:familyName Yung
58 schema:givenName Moti
59 rdf:type schema:Person
60 N86236a616e824d38b670e22ea33edeed schema:isbn 978-3-642-16022-6
61 978-3-642-16023-3
62 schema:name Stabilization, Safety, and Security of Distributed Systems
63 rdf:type schema:Book
64 N8864e68167a046cbadf47ffe71c8263b rdf:first sg:person.011743631465.56
65 rdf:rest Nd830f35cb0214b098a0d8056e578a851
66 N8886f51cc66a47c6bc2d17ed950702c9 rdf:first sg:person.016347323445.35
67 rdf:rest N44de502a8e3d4cc791fe599d78b1bbfe
68 N899958bab0e547ca94f535872fe327c4 rdf:first sg:person.013270457265.00
69 rdf:rest N042296310bf94414a0448af95e76da26
70 N8e032126c4c145daba27b04c18bf851d schema:name dimensions_id
71 schema:value pub.1010249467
72 rdf:type schema:PropertyValue
73 N9791cae89c7c4d178db6c57168b5c8b4 rdf:first N5ffa62612c2e42dd9039936d39b771bc
74 rdf:rest rdf:nil
75 Na0403d7c9784480fbd4a760709c7713b schema:name readcube_id
76 schema:value 30d476f991d4a89ad84955791e810d58b1680381a12fc1549ebaf33010f72238
77 rdf:type schema:PropertyValue
78 Nac656834c74d46019d96a12d0444d0b9 rdf:first sg:person.014510135557.74
79 rdf:rest N325502d8262643ac95c46e24f0828597
80 Nb7e9fb34d65b474ea53d44b69f3f4a11 schema:name Springer Nature - SN SciGraph project
81 rdf:type schema:Organization
82 Nba422c273d3d4bd3a9eaad2b87145d35 rdf:first sg:person.013655053347.02
83 rdf:rest rdf:nil
84 Ncd02e97eb5e3409787aa6af2ec8fa802 schema:familyName Dolev
85 schema:givenName Shlomi
86 rdf:type schema:Person
87 Nd830f35cb0214b098a0d8056e578a851 rdf:first sg:person.010663162237.83
88 rdf:rest Nba422c273d3d4bd3a9eaad2b87145d35
89 Nd833df3eb4394b3a9fa00608533159db rdf:first sg:person.07776170271.83
90 rdf:rest Nac656834c74d46019d96a12d0444d0b9
91 Nd94ff80376944852b4ec955af3aef54d rdf:first sg:person.011522233557.04
92 rdf:rest N31d6213ea4234ceeb4444599130a1864
93 Ne81fba5f943b4baf973af03de34c3358 schema:familyName Cobb
94 schema:givenName Jorge
95 rdf:type schema:Person
96 Nef15ac8af2f54b31bc2d23c03a54a728 rdf:first sg:person.010622266176.73
97 rdf:rest Nd94ff80376944852b4ec955af3aef54d
98 Nfbcb501a48744986ad1041ee03918cf1 rdf:first Ncd02e97eb5e3409787aa6af2ec8fa802
99 rdf:rest N257d802a7c9340779f9ceea2313943c9
100 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
101 schema:name Mathematical Sciences
102 rdf:type schema:DefinedTerm
103 anzsrc-for:0102 schema:inDefinedTermSet anzsrc-for:
104 schema:name Applied Mathematics
105 rdf:type schema:DefinedTerm
106 sg:person.010127272557.31 schema:familyName Kanade
107 schema:givenName Takeo
108 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010127272557.31
109 rdf:type schema:Person
110 sg:person.010622266176.73 schema:familyName Kittler
111 schema:givenName Josef
112 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010622266176.73
113 rdf:type schema:Person
114 sg:person.010663162237.83 schema:familyName Weikum
115 schema:givenName Gerhard
116 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010663162237.83
117 rdf:type schema:Person
118 sg:person.011464452455.47 schema:familyName Tygar
119 schema:givenName Doug
120 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011464452455.47
121 rdf:type schema:Person
122 sg:person.011522233557.04 schema:familyName Kleinberg
123 schema:givenName Jon M.
124 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011522233557.04
125 rdf:type schema:Person
126 sg:person.011743631465.56 schema:familyName Vardi
127 schema:givenName Moshe Y.
128 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011743631465.56
129 rdf:type schema:Person
130 sg:person.012317614157.00 schema:familyName Mattern
131 schema:givenName Friedemann
132 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012317614157.00
133 rdf:type schema:Person
134 sg:person.012636622347.55 schema:familyName Hutchison
135 schema:givenName David
136 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012636622347.55
137 rdf:type schema:Person
138 sg:person.013270457265.00 schema:familyName Steffen
139 schema:givenName Bernhard
140 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013270457265.00
141 rdf:type schema:Person
142 sg:person.013655053347.02 schema:affiliation https://www.grid.ac/institutes/grid.189504.1
143 schema:familyName Levin
144 schema:givenName Leonid A.
145 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013655053347.02
146 rdf:type schema:Person
147 sg:person.014510135557.74 schema:familyName Nierstrasz
148 schema:givenName Oscar
149 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014510135557.74
150 rdf:type schema:Person
151 sg:person.014663420265.17 schema:familyName Sudan
152 schema:givenName Madhu
153 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014663420265.17
154 rdf:type schema:Person
155 sg:person.016347323445.35 schema:familyName Terzopoulos
156 schema:givenName Demetri
157 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016347323445.35
158 rdf:type schema:Person
159 sg:person.016366027737.61 schema:familyName Rangan
160 schema:givenName C. Pandu
161 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016366027737.61
162 rdf:type schema:Person
163 sg:person.07776170271.83 schema:familyName Naor
164 schema:givenName Moni
165 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07776170271.83
166 rdf:type schema:Person
167 https://www.grid.ac/institutes/grid.189504.1 schema:alternateName Boston University
168 schema:name Boston University,
169 rdf:type schema:Organization
 




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


...