Randomness and Mathematical Proof View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

1975-05

AUTHORS

Gregory J. Chaitin

ABSTRACT

N/A

PAGES

47-52

Journal

TITLE

Scientific American

ISSUE

5

VOLUME

232

Related Patents

  • Type 4 Kaser (Knowledge Amplification By Structured Expert Randomization) Providing Case-Based Inductive And Analogical Reasoning
  • Randomization And Informed Search For Cyber Attack Protection
  • System And Method For Type 2 Kaser (Knowledge Amplification By Structured Expert Randomization)
  • Knowledge Discovery And Dissemination Of Text By Mining With Words
  • Image Recognition System Using A Programmable Photonic Neural Network
  • Type 5 Knowledge Amplification By Structured Expert Randomization (Kaser)
  • Predictor-Corrector Method For Knowledge Amplification By Structured Expert Randomization
  • Case-Based Reasoning System Using Case Generalization Method
  • Method And Apparatus For Securing Electronic Games
  • System And Method For Object Recognition Utilizing Fusion Of Multi-System Probabalistic Output
  • Adaptive Case-Based Reasoning System Using Dynamic Method For Knowledge Acquisition
  • System Of Systems And Method For Software Component System Design And Optimization Through Testing
  • Symmetric Schema Instantiation Method For Use In A Case-Based Reasoning System
  • Fusion Of Multi-Sensor Information With Operator-Learned Behavior For Automatic And Efficient Recognition Of Objects And Control Of Remote Vehicles
  • Graphic User Interface Having Menus For Display Of Context And Syntax Useful In An Artificial Intelligence System
  • Case-Based Reasoning System Using Normalized Weight Vectors
  • System And Method For Mining Large, Diverse, Distributed, And Heterogeneous Datasets
  • Geodesic Search And Retrieval System And Method Of Semi-Structured Databases
  • Anticipatory Logistics Through Sensor Fusion And Evolutionary Minimization Of Response Time In Automated Vehicles
  • Method And Apparatus For Securing Electronic Games
  • System And Method For Knowledge Amplification Employing Structured Expert Randomization
  • Controlled Vehicle Acceleration Method Using User-Responsive Feedback
  • Brian: A Basic Regimen For Intelligent Analysis Using Networks
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1038/scientificamerican0575-47

    DOI

    http://dx.doi.org/10.1038/scientificamerican0575-47

    DIMENSIONS

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


    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", 
        "author": [
          {
            "familyName": "Chaitin", 
            "givenName": "Gregory J.", 
            "type": "Person"
          }
        ], 
        "datePublished": "1975-05", 
        "datePublishedReg": "1975-05-01", 
        "genre": "article", 
        "id": "sg:pub.10.1038/scientificamerican0575-47", 
        "inLanguage": "en", 
        "isAccessibleForFree": false, 
        "isPartOf": [
          {
            "id": "sg:journal.1018656", 
            "issn": [
              "0036-8733", 
              "1946-7087"
            ], 
            "name": "Scientific American", 
            "publisher": "Springer Nature", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "5", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "232"
          }
        ], 
        "keywords": [
          "proof", 
          "randomness", 
          "mathematical proof"
        ], 
        "name": "Randomness and Mathematical Proof", 
        "pagination": "47-52", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1056542031"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1038/scientificamerican0575-47"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1038/scientificamerican0575-47", 
          "https://app.dimensions.ai/details/publication/pub.1056542031"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2021-12-01T19:02", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20211201/entities/gbq_results/article/article_111.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://doi.org/10.1038/scientificamerican0575-47"
      }
    ]
     

    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.1038/scientificamerican0575-47'

    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.1038/scientificamerican0575-47'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1038/scientificamerican0575-47'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1038/scientificamerican0575-47'


     

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

    47 TRIPLES      19 PREDICATES      26 URIs      20 LITERALS      6 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1038/scientificamerican0575-47 schema:author N8ffad248b23d4a7b955aaa76261d4493
    2 schema:datePublished 1975-05
    3 schema:datePublishedReg 1975-05-01
    4 schema:genre article
    5 schema:inLanguage en
    6 schema:isAccessibleForFree false
    7 schema:isPartOf N1fb1769eb7d54f7abc722820ed06e79b
    8 Nd93af44e14fd40e1bdffa9fd2daec1d9
    9 sg:journal.1018656
    10 schema:keywords mathematical proof
    11 proof
    12 randomness
    13 schema:name Randomness and Mathematical Proof
    14 schema:pagination 47-52
    15 schema:productId N78014f216b2b45c48454d2a040a0b37e
    16 Nf96f644e35d64f578892b80d868baf32
    17 schema:sameAs https://app.dimensions.ai/details/publication/pub.1056542031
    18 https://doi.org/10.1038/scientificamerican0575-47
    19 schema:sdDatePublished 2021-12-01T19:02
    20 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    21 schema:sdPublisher N2696b1c3c6304217874d822940e64f82
    22 schema:url https://doi.org/10.1038/scientificamerican0575-47
    23 sgo:license sg:explorer/license/
    24 sgo:sdDataset articles
    25 rdf:type schema:ScholarlyArticle
    26 N1fb1769eb7d54f7abc722820ed06e79b schema:issueNumber 5
    27 rdf:type schema:PublicationIssue
    28 N2696b1c3c6304217874d822940e64f82 schema:name Springer Nature - SN SciGraph project
    29 rdf:type schema:Organization
    30 N78014f216b2b45c48454d2a040a0b37e schema:name dimensions_id
    31 schema:value pub.1056542031
    32 rdf:type schema:PropertyValue
    33 N8ffad248b23d4a7b955aaa76261d4493 rdf:first Na20ee8d66f34456c8c8bad045506d2d2
    34 rdf:rest rdf:nil
    35 Na20ee8d66f34456c8c8bad045506d2d2 schema:familyName Chaitin
    36 schema:givenName Gregory J.
    37 rdf:type schema:Person
    38 Nd93af44e14fd40e1bdffa9fd2daec1d9 schema:volumeNumber 232
    39 rdf:type schema:PublicationVolume
    40 Nf96f644e35d64f578892b80d868baf32 schema:name doi
    41 schema:value 10.1038/scientificamerican0575-47
    42 rdf:type schema:PropertyValue
    43 sg:journal.1018656 schema:issn 0036-8733
    44 1946-7087
    45 schema:name Scientific American
    46 schema:publisher Springer Nature
    47 rdf:type schema:Periodical
     




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


    ...