Matches in SemOpenAlex for { <https://semopenalex.org/work/W2238001906> ?p ?o ?g. }
- W2238001906 startingPage "161" @default.
- W2238001906 abstract "The philosophy of mathematics has long been concerned with determining the means that are appropriate for justifying claims of mathematical knowledge, and the metaphysical considerations that render them so. But, as of late, many philosophers have called attention to the fact that a much broader range of normative judgments arise in ordinary mathematical practice; for example, questions can be interesting, theorems important, proofs explanatory, concepts powerful, and so on. The associated values are often loosely classified as aspects of “mathematical" @default.
- W2238001906 created "2016-06-24" @default.
- W2238001906 creator A5003483051 @default.
- W2238001906 date "2010-01-01" @default.
- W2238001906 modified "2023-09-23" @default.
- W2238001906 title "Understanding, formal verification, and the philosophy of mathematics" @default.
- W2238001906 cites W105203805 @default.
- W2238001906 cites W121484200 @default.
- W2238001906 cites W1487979635 @default.
- W2238001906 cites W1511637062 @default.
- W2238001906 cites W1521372188 @default.
- W2238001906 cites W1597834884 @default.
- W2238001906 cites W1821564862 @default.
- W2238001906 cites W1970366772 @default.
- W2238001906 cites W1984801909 @default.
- W2238001906 cites W1988885106 @default.
- W2238001906 cites W1990493960 @default.
- W2238001906 cites W2000062667 @default.
- W2238001906 cites W2001480748 @default.
- W2238001906 cites W2035921609 @default.
- W2238001906 cites W2044402378 @default.
- W2238001906 cites W2096391838 @default.
- W2238001906 cites W2139659782 @default.
- W2238001906 cites W2162201044 @default.
- W2238001906 cites W2166845461 @default.
- W2238001906 cites W2405679748 @default.
- W2238001906 cites W2505583159 @default.
- W2238001906 cites W2908059907 @default.
- W2238001906 cites W3023731641 @default.
- W2238001906 cites W561202933 @default.
- W2238001906 cites W56358913 @default.
- W2238001906 cites W583797365 @default.
- W2238001906 cites W588695281 @default.
- W2238001906 cites W66352596 @default.
- W2238001906 cites W82613747 @default.
- W2238001906 cites W3145463695 @default.
- W2238001906 hasPublicationYear "2010" @default.
- W2238001906 type Work @default.
- W2238001906 sameAs 2238001906 @default.
- W2238001906 citedByCount "2" @default.
- W2238001906 countsByYear W22380019062014 @default.
- W2238001906 crossrefType "journal-article" @default.
- W2238001906 hasAuthorship W2238001906A5003483051 @default.
- W2238001906 hasConcept C108710211 @default.
- W2238001906 hasConcept C111472728 @default.
- W2238001906 hasConcept C138885662 @default.
- W2238001906 hasConcept C159985019 @default.
- W2238001906 hasConcept C182744844 @default.
- W2238001906 hasConcept C183140480 @default.
- W2238001906 hasConcept C192562407 @default.
- W2238001906 hasConcept C199343813 @default.
- W2238001906 hasConcept C204323151 @default.
- W2238001906 hasConcept C2524010 @default.
- W2238001906 hasConcept C2777686260 @default.
- W2238001906 hasConcept C2780506305 @default.
- W2238001906 hasConcept C33923547 @default.
- W2238001906 hasConcept C40238689 @default.
- W2238001906 hasConcept C41008148 @default.
- W2238001906 hasConcept C44725695 @default.
- W2238001906 hasConcept C71924100 @default.
- W2238001906 hasConceptScore W2238001906C108710211 @default.
- W2238001906 hasConceptScore W2238001906C111472728 @default.
- W2238001906 hasConceptScore W2238001906C138885662 @default.
- W2238001906 hasConceptScore W2238001906C159985019 @default.
- W2238001906 hasConceptScore W2238001906C182744844 @default.
- W2238001906 hasConceptScore W2238001906C183140480 @default.
- W2238001906 hasConceptScore W2238001906C192562407 @default.
- W2238001906 hasConceptScore W2238001906C199343813 @default.
- W2238001906 hasConceptScore W2238001906C204323151 @default.
- W2238001906 hasConceptScore W2238001906C2524010 @default.
- W2238001906 hasConceptScore W2238001906C2777686260 @default.
- W2238001906 hasConceptScore W2238001906C2780506305 @default.
- W2238001906 hasConceptScore W2238001906C33923547 @default.
- W2238001906 hasConceptScore W2238001906C40238689 @default.
- W2238001906 hasConceptScore W2238001906C41008148 @default.
- W2238001906 hasConceptScore W2238001906C44725695 @default.
- W2238001906 hasConceptScore W2238001906C71924100 @default.
- W2238001906 hasLocation W22380019061 @default.
- W2238001906 hasOpenAccess W2238001906 @default.
- W2238001906 hasPrimaryLocation W22380019061 @default.
- W2238001906 hasRelatedWork W115899224 @default.
- W2238001906 hasRelatedWork W117805457 @default.
- W2238001906 hasRelatedWork W1564252727 @default.
- W2238001906 hasRelatedWork W2005331916 @default.
- W2238001906 hasRelatedWork W2031040400 @default.
- W2238001906 hasRelatedWork W2062743877 @default.
- W2238001906 hasRelatedWork W2110699313 @default.
- W2238001906 hasRelatedWork W2184899591 @default.
- W2238001906 hasRelatedWork W2231484478 @default.
- W2238001906 hasRelatedWork W2283323117 @default.
- W2238001906 hasRelatedWork W2598386362 @default.
- W2238001906 hasRelatedWork W26720366 @default.
- W2238001906 hasRelatedWork W2902794889 @default.
- W2238001906 hasRelatedWork W2983289612 @default.
- W2238001906 hasRelatedWork W3125343023 @default.
- W2238001906 hasRelatedWork W3176898730 @default.
- W2238001906 hasRelatedWork W3199052124 @default.
- W2238001906 hasRelatedWork W635972103 @default.
- W2238001906 hasRelatedWork W80222917 @default.