Proofs in Mathematical Practice View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2015

AUTHORS

John W. Dawson

ABSTRACT

Before proceeding to consider the questions posed in the Preface, it is necessary to clarify some logical issues. Paramount among them is the question: What is a proof?

PAGES

1-6

References to SciGraph publications

  • 2006-11. Mathematical Method and Proof in SYNTHESE
  • Book

    TITLE

    Why Prove it Again?

    ISBN

    978-3-319-17367-2
    978-3-319-17368-9

    Author Affiliations

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-319-17368-9_1

    DOI

    http://dx.doi.org/10.1007/978-3-319-17368-9_1

    DIMENSIONS

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


    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": [
          {
            "affiliation": {
              "alternateName": "Penn State York", 
              "id": "https://www.grid.ac/institutes/grid.261815.9", 
              "name": [
                "Penn State York"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Dawson", 
            "givenName": "John W.", 
            "id": "sg:person.011124062661.56", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011124062661.56"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/s11229-005-4064-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007023227", 
              "https://doi.org/10.1007/s11229-005-4064-5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1093/philmat/7.1.5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1059974066"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2015", 
        "datePublishedReg": "2015-01-01", 
        "description": "Before proceeding to consider the questions posed in the Preface, it is necessary to clarify some logical issues. Paramount among them is the question: What is a proof?", 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-319-17368-9_1", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-319-17367-2", 
            "978-3-319-17368-9"
          ], 
          "name": "Why Prove it Again?", 
          "type": "Book"
        }, 
        "name": "Proofs in Mathematical Practice", 
        "pagination": "1-6", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-319-17368-9_1"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "a410029b1f0fb158409cbe7810aac590d4051d9542f256b43bedd51c1a948c1c"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1034440870"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-319-17368-9_1", 
          "https://app.dimensions.ai/details/publication/pub.1034440870"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T17:15", 
        "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_8678_00000264.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-319-17368-9_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-319-17368-9_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-319-17368-9_1'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-17368-9_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-319-17368-9_1'


     

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

    58 TRIPLES      21 PREDICATES      26 URIs      19 LITERALS      7 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-319-17368-9_1 schema:author Na2a75132e8bb472aa6fb240296ae5f12
    2 schema:citation sg:pub.10.1007/s11229-005-4064-5
    3 https://doi.org/10.1093/philmat/7.1.5
    4 schema:datePublished 2015
    5 schema:datePublishedReg 2015-01-01
    6 schema:description Before proceeding to consider the questions posed in the Preface, it is necessary to clarify some logical issues. Paramount among them is the question: What is a proof?
    7 schema:genre chapter
    8 schema:inLanguage en
    9 schema:isAccessibleForFree false
    10 schema:isPartOf N8770385437d642768dc8237ceca13e5e
    11 schema:name Proofs in Mathematical Practice
    12 schema:pagination 1-6
    13 schema:productId N5c545ba491e94291860a2214557f60b3
    14 Nbf98622a33f447c081fc3186b2b25ec6
    15 Ne8bae8e256ec415392576576f7616812
    16 schema:publisher N8c0e845c151f4eff972783ee7477d57d
    17 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034440870
    18 https://doi.org/10.1007/978-3-319-17368-9_1
    19 schema:sdDatePublished 2019-04-15T17:15
    20 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    21 schema:sdPublisher N14538bc620de4a33bbc0350e607bb81e
    22 schema:url http://link.springer.com/10.1007/978-3-319-17368-9_1
    23 sgo:license sg:explorer/license/
    24 sgo:sdDataset chapters
    25 rdf:type schema:Chapter
    26 N14538bc620de4a33bbc0350e607bb81e schema:name Springer Nature - SN SciGraph project
    27 rdf:type schema:Organization
    28 N5c545ba491e94291860a2214557f60b3 schema:name dimensions_id
    29 schema:value pub.1034440870
    30 rdf:type schema:PropertyValue
    31 N8770385437d642768dc8237ceca13e5e schema:isbn 978-3-319-17367-2
    32 978-3-319-17368-9
    33 schema:name Why Prove it Again?
    34 rdf:type schema:Book
    35 N8c0e845c151f4eff972783ee7477d57d schema:location Cham
    36 schema:name Springer International Publishing
    37 rdf:type schema:Organisation
    38 Na2a75132e8bb472aa6fb240296ae5f12 rdf:first sg:person.011124062661.56
    39 rdf:rest rdf:nil
    40 Nbf98622a33f447c081fc3186b2b25ec6 schema:name doi
    41 schema:value 10.1007/978-3-319-17368-9_1
    42 rdf:type schema:PropertyValue
    43 Ne8bae8e256ec415392576576f7616812 schema:name readcube_id
    44 schema:value a410029b1f0fb158409cbe7810aac590d4051d9542f256b43bedd51c1a948c1c
    45 rdf:type schema:PropertyValue
    46 sg:person.011124062661.56 schema:affiliation https://www.grid.ac/institutes/grid.261815.9
    47 schema:familyName Dawson
    48 schema:givenName John W.
    49 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011124062661.56
    50 rdf:type schema:Person
    51 sg:pub.10.1007/s11229-005-4064-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007023227
    52 https://doi.org/10.1007/s11229-005-4064-5
    53 rdf:type schema:CreativeWork
    54 https://doi.org/10.1093/philmat/7.1.5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1059974066
    55 rdf:type schema:CreativeWork
    56 https://www.grid.ac/institutes/grid.261815.9 schema:alternateName Penn State York
    57 schema:name Penn State York
    58 rdf:type schema:Organization
     




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


    ...