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
  • Adaptive Case-Based Reasoning System Using Dynamic Method For Knowledge Acquisition
  • System And Method For Object Recognition Utilizing Fusion Of Multi-System Probabalistic Output
  • 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
  • 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
  • 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
  • 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 Na3a3a63f4d2f4518909bad3c4e776b5b
    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 N2d62e363628143cabcbb760f2b3c36d5
    8 N50d640cfd8be462f8b63203ed641ea2f
    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 N03796dc1e71348ac95bf3ef8df41fa67
    16 N23f0a30d3b4f4c22af9480aa38a6b1c1
    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 Nf4dc6c6e5e4d46d39e2d65c4538f2727
    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 N03796dc1e71348ac95bf3ef8df41fa67 schema:name dimensions_id
    27 schema:value pub.1056542031
    28 rdf:type schema:PropertyValue
    29 N23f0a30d3b4f4c22af9480aa38a6b1c1 schema:name doi
    30 schema:value 10.1038/scientificamerican0575-47
    31 rdf:type schema:PropertyValue
    32 N2d62e363628143cabcbb760f2b3c36d5 schema:volumeNumber 232
    33 rdf:type schema:PublicationVolume
    34 N50d640cfd8be462f8b63203ed641ea2f schema:issueNumber 5
    35 rdf:type schema:PublicationIssue
    36 Na3a3a63f4d2f4518909bad3c4e776b5b rdf:first Nb64d231abc4047cd8da7c028993ebe9f
    37 rdf:rest rdf:nil
    38 Nb64d231abc4047cd8da7c028993ebe9f schema:familyName Chaitin
    39 schema:givenName Gregory J.
    40 rdf:type schema:Person
    41 Nf4dc6c6e5e4d46d39e2d65c4538f2727 schema:name Springer Nature - SN SciGraph project
    42 rdf:type schema:Organization
    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)


    ...