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 N6264a57935c64b528c79c29a34223bcf
    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 Ne7f44246ea1b4a9f9acc40d55ce1e46d
    15 schema:name Motives for Finding Alternative Proofs
    16 schema:pagination 7-11
    17 schema:productId N228784cfbed74f5cb3d94e5f0cd16072
    18 N94fb02501766483a9566090f290977d4
    19 Nd3b533af4e464720aefc84eebeb08663
    20 schema:publisher N867cd7f69186464aa1dd880be18e28bd
    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 N9164026e1e894166a723f177ef64ace2
    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 N228784cfbed74f5cb3d94e5f0cd16072 schema:name doi
    31 schema:value 10.1007/978-3-319-17368-9_2
    32 rdf:type schema:PropertyValue
    33 N6264a57935c64b528c79c29a34223bcf rdf:first sg:person.011124062661.56
    34 rdf:rest rdf:nil
    35 N867cd7f69186464aa1dd880be18e28bd schema:location Cham
    36 schema:name Springer International Publishing
    37 rdf:type schema:Organisation
    38 N9164026e1e894166a723f177ef64ace2 schema:name Springer Nature - SN SciGraph project
    39 rdf:type schema:Organization
    40 N94fb02501766483a9566090f290977d4 schema:name readcube_id
    41 schema:value 0d25bd9be37f3f437364e6ac7ae39efaf776b829bc71b5acaa63222727918bf8
    42 rdf:type schema:PropertyValue
    43 Nd3b533af4e464720aefc84eebeb08663 schema:name dimensions_id
    44 schema:value pub.1002761060
    45 rdf:type schema:PropertyValue
    46 Ne7f44246ea1b4a9f9acc40d55ce1e46d schema:isbn 978-3-319-17367-2
    47 978-3-319-17368-9
    48 schema:name Why Prove it Again?
    49 rdf:type schema:Book
    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)


    ...