Motives for Finding Alternative Proofs View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2015

AUTHORS

John W. Dawson

ABSTRACT

Four motives for seeking new proofs of previously established results have already been mentioned in Chapter 1: the desires (1) to correct errors or fill perceived gaps in earlier arguments; (2) to eliminate superfluous or controversial hypotheses; (3) to extend a theorem’s range of validity; and (4) to make proofs more perspicuous. More... »

PAGES

7-11

References to SciGraph publications

  • 2001-01. Mathematical Explanation: Problems and Prospects in TOPOI
  • 2002-03. Hilbert's Twenty-Fourth Problem in JOURNAL OF AUTOMATED REASONING
  • 1983-06. The mentality of the mathematician. a characterization in THE MATHEMATICAL INTELLIGENCER
  • 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_2

    DOI

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

    DIMENSIONS

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


    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/1701", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Psychology", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/17", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Psychology and Cognitive Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "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.1023/a:1020537107897", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018594741", 
              "https://doi.org/10.1023/a:1020537107897"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf03023621", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026340622", 
              "https://doi.org/10.1007/bf03023621"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1023/a:1010621314372", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043547856", 
              "https://doi.org/10.1023/a:1010621314372"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1093/acprof:oso/9780199296453.003.0009", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1088898658"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2015", 
        "datePublishedReg": "2015-01-01", 
        "description": "Four motives for seeking new proofs of previously established results have already been mentioned in Chapter 1: the desires (1) to correct errors or fill perceived gaps in earlier arguments; (2) to eliminate superfluous or controversial hypotheses; (3) to extend a theorem\u2019s range of validity; and (4) to make proofs more perspicuous.", 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-319-17368-9_2", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-319-17367-2", 
            "978-3-319-17368-9"
          ], 
          "name": "Why Prove it Again?", 
          "type": "Book"
        }, 
        "name": "Motives for Finding Alternative Proofs", 
        "pagination": "7-11", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-319-17368-9_2"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "0d25bd9be37f3f437364e6ac7ae39efaf776b829bc71b5acaa63222727918bf8"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1002761060"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-319-17368-9_2", 
          "https://app.dimensions.ai/details/publication/pub.1002761060"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T19:06", 
        "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_00000244.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-319-17368-9_2"
      }
    ]
     

    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_2'

    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_2'

    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_2'

    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_2'


     

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

    74 TRIPLES      22 PREDICATES      30 URIs      19 LITERALS      7 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-319-17368-9_2 schema:about anzsrc-for:17
    2 anzsrc-for:1701
    3 schema:author Nc30a2c5e39ea4a659ba73d20ca1925d1
    4 schema:citation sg:pub.10.1007/bf03023621
    5 sg:pub.10.1023/a:1010621314372
    6 sg:pub.10.1023/a:1020537107897
    7 https://doi.org/10.1093/acprof:oso/9780199296453.003.0009
    8 schema:datePublished 2015
    9 schema:datePublishedReg 2015-01-01
    10 schema:description Four motives for seeking new proofs of previously established results have already been mentioned in Chapter 1: the desires (1) to correct errors or fill perceived gaps in earlier arguments; (2) to eliminate superfluous or controversial hypotheses; (3) to extend a theorem’s range of validity; and (4) to make proofs more perspicuous.
    11 schema:genre chapter
    12 schema:inLanguage en
    13 schema:isAccessibleForFree false
    14 schema:isPartOf Nadb19b024fe841adbbda65b72626a231
    15 schema:name Motives for Finding Alternative Proofs
    16 schema:pagination 7-11
    17 schema:productId N09fe7c2619384c5292a5a0b12d7f3c3c
    18 N890016a9de3a4499b15b7c15876b5164
    19 Nfb284223da5947d5869b9febc2fa0563
    20 schema:publisher N9ec545be638d48e58599a213614f1b5b
    21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002761060
    22 https://doi.org/10.1007/978-3-319-17368-9_2
    23 schema:sdDatePublished 2019-04-15T19:06
    24 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    25 schema:sdPublisher Ne39882027d444ac28ca99ab7cb2fd47e
    26 schema:url http://link.springer.com/10.1007/978-3-319-17368-9_2
    27 sgo:license sg:explorer/license/
    28 sgo:sdDataset chapters
    29 rdf:type schema:Chapter
    30 N09fe7c2619384c5292a5a0b12d7f3c3c schema:name dimensions_id
    31 schema:value pub.1002761060
    32 rdf:type schema:PropertyValue
    33 N890016a9de3a4499b15b7c15876b5164 schema:name doi
    34 schema:value 10.1007/978-3-319-17368-9_2
    35 rdf:type schema:PropertyValue
    36 N9ec545be638d48e58599a213614f1b5b schema:location Cham
    37 schema:name Springer International Publishing
    38 rdf:type schema:Organisation
    39 Nadb19b024fe841adbbda65b72626a231 schema:isbn 978-3-319-17367-2
    40 978-3-319-17368-9
    41 schema:name Why Prove it Again?
    42 rdf:type schema:Book
    43 Nc30a2c5e39ea4a659ba73d20ca1925d1 rdf:first sg:person.011124062661.56
    44 rdf:rest rdf:nil
    45 Ne39882027d444ac28ca99ab7cb2fd47e schema:name Springer Nature - SN SciGraph project
    46 rdf:type schema:Organization
    47 Nfb284223da5947d5869b9febc2fa0563 schema:name readcube_id
    48 schema:value 0d25bd9be37f3f437364e6ac7ae39efaf776b829bc71b5acaa63222727918bf8
    49 rdf:type schema:PropertyValue
    50 anzsrc-for:17 schema:inDefinedTermSet anzsrc-for:
    51 schema:name Psychology and Cognitive Sciences
    52 rdf:type schema:DefinedTerm
    53 anzsrc-for:1701 schema:inDefinedTermSet anzsrc-for:
    54 schema:name Psychology
    55 rdf:type schema:DefinedTerm
    56 sg:person.011124062661.56 schema:affiliation https://www.grid.ac/institutes/grid.261815.9
    57 schema:familyName Dawson
    58 schema:givenName John W.
    59 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011124062661.56
    60 rdf:type schema:Person
    61 sg:pub.10.1007/bf03023621 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026340622
    62 https://doi.org/10.1007/bf03023621
    63 rdf:type schema:CreativeWork
    64 sg:pub.10.1023/a:1010621314372 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043547856
    65 https://doi.org/10.1023/a:1010621314372
    66 rdf:type schema:CreativeWork
    67 sg:pub.10.1023/a:1020537107897 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018594741
    68 https://doi.org/10.1023/a:1020537107897
    69 rdf:type schema:CreativeWork
    70 https://doi.org/10.1093/acprof:oso/9780199296453.003.0009 schema:sameAs https://app.dimensions.ai/details/publication/pub.1088898658
    71 rdf:type schema:CreativeWork
    72 https://www.grid.ac/institutes/grid.261815.9 schema:alternateName Penn State York
    73 schema:name Penn State York
    74 rdf:type schema:Organization
     




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


    ...