FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1947756087> ?p ?o ?g. }

• W1947756087 endingPage "43" @default.
• W1947756087 startingPage "23" @default.
• W1947756087 abstract "Abstract Increases in the use of automated theorem-provers have renewed focus on the relationship between the informal proofs normally found in mathematical research and fully formalised derivations. Whereas some claim that any correct proof will be underwritten by a fully formal proof, sceptics demur. In this paper I look at the relevance of these issues for formalism, construed as an anti-platonistic metaphysical doctrine. I argue that there are strong reasons to doubt that all proofs are fully formalisable, if formal proofs are required to be finitary, but that, on a proper view of the way in which formal proofs idealise actual practice, this restriction is unjustified and formalism is not threatened." @default.
• W1947756087 created "2016-06-24" @default.
• W1947756087 creator A5090458618 @default.
• W1947756087 date "2015-08-07" @default.
• W1947756087 modified "2023-09-26" @default.
• W1947756087 title "INFORMAL PROOF, FORMAL PROOF, FORMALISM" @default.
• W1947756087 cites W1964665216 @default.
• W1947756087 cites W1988083342 @default.
• W1947756087 cites W1988802190 @default.
• W1947756087 cites W1995235276 @default.
• W1947756087 cites W2057139869 @default.
• W1947756087 cites W2068595239 @default.
• W1947756087 cites W2088842326 @default.
• W1947756087 cites W2162770039 @default.
• W1947756087 cites W2165546563 @default.
• W1947756087 cites W2167745704 @default.
• W1947756087 cites W2312838618 @default.
• W1947756087 cites W2320543258 @default.
• W1947756087 cites W2480084245 @default.
• W1947756087 cites W4232502373 @default.
• W1947756087 cites W4244463282 @default.
• W1947756087 cites W4248354378 @default.
• W1947756087 doi "https://doi.org/10.1017/s1755020315000234" @default.
• W1947756087 hasPublicationYear "2015" @default.
• W1947756087 type Work @default.
• W1947756087 sameAs 1947756087 @default.
• W1947756087 citedByCount "10" @default.
• W1947756087 countsByYear W19477560872017 @default.
• W1947756087 countsByYear W19477560872018 @default.
• W1947756087 countsByYear W19477560872019 @default.
• W1947756087 countsByYear W19477560872020 @default.
• W1947756087 countsByYear W19477560872021 @default.
• W1947756087 countsByYear W19477560872023 @default.
• W1947756087 crossrefType "journal-article" @default.
• W1947756087 hasAuthorship W1947756087A5090458618 @default.
• W1947756087 hasBestOaLocation W19477560872 @default.
• W1947756087 hasConcept C105605280 @default.
• W1947756087 hasConcept C108710211 @default.
• W1947756087 hasConcept C111472728 @default.
• W1947756087 hasConcept C118615104 @default.
• W1947756087 hasConcept C138885662 @default.
• W1947756087 hasConcept C142362112 @default.
• W1947756087 hasConcept C153349607 @default.
• W1947756087 hasConcept C161505775 @default.
• W1947756087 hasConcept C17744445 @default.
• W1947756087 hasConcept C182744844 @default.
• W1947756087 hasConcept C199343813 @default.
• W1947756087 hasConcept C199360897 @default.
• W1947756087 hasConcept C199539241 @default.
• W1947756087 hasConcept C2524010 @default.
• W1947756087 hasConcept C27206212 @default.
• W1947756087 hasConcept C2776211767 @default.
• W1947756087 hasConcept C2777431735 @default.
• W1947756087 hasConcept C2777686260 @default.
• W1947756087 hasConcept C2778003309 @default.
• W1947756087 hasConcept C33923547 @default.
• W1947756087 hasConcept C41008148 @default.
• W1947756087 hasConcept C558565934 @default.
• W1947756087 hasConcept C71924100 @default.
• W1947756087 hasConcept C73301696 @default.
• W1947756087 hasConcept C94461902 @default.
• W1947756087 hasConceptScore W1947756087C105605280 @default.
• W1947756087 hasConceptScore W1947756087C108710211 @default.
• W1947756087 hasConceptScore W1947756087C111472728 @default.
• W1947756087 hasConceptScore W1947756087C118615104 @default.
• W1947756087 hasConceptScore W1947756087C138885662 @default.
• W1947756087 hasConceptScore W1947756087C142362112 @default.
• W1947756087 hasConceptScore W1947756087C153349607 @default.
• W1947756087 hasConceptScore W1947756087C161505775 @default.
• W1947756087 hasConceptScore W1947756087C17744445 @default.
• W1947756087 hasConceptScore W1947756087C182744844 @default.
• W1947756087 hasConceptScore W1947756087C199343813 @default.
• W1947756087 hasConceptScore W1947756087C199360897 @default.
• W1947756087 hasConceptScore W1947756087C199539241 @default.
• W1947756087 hasConceptScore W1947756087C2524010 @default.
• W1947756087 hasConceptScore W1947756087C27206212 @default.
• W1947756087 hasConceptScore W1947756087C2776211767 @default.
• W1947756087 hasConceptScore W1947756087C2777431735 @default.
• W1947756087 hasConceptScore W1947756087C2777686260 @default.
• W1947756087 hasConceptScore W1947756087C2778003309 @default.
• W1947756087 hasConceptScore W1947756087C33923547 @default.
• W1947756087 hasConceptScore W1947756087C41008148 @default.
• W1947756087 hasConceptScore W1947756087C558565934 @default.
• W1947756087 hasConceptScore W1947756087C71924100 @default.
• W1947756087 hasConceptScore W1947756087C73301696 @default.
• W1947756087 hasConceptScore W1947756087C94461902 @default.
• W1947756087 hasIssue "1" @default.
• W1947756087 hasLocation W19477560871 @default.
• W1947756087 hasLocation W19477560872 @default.
• W1947756087 hasOpenAccess W1947756087 @default.
• W1947756087 hasPrimaryLocation W19477560871 @default.
• W1947756087 hasRelatedWork W1610564136 @default.
• W1947756087 hasRelatedWork W187835144 @default.
• W1947756087 hasRelatedWork W1947756087 @default.
• W1947756087 hasRelatedWork W1988045573 @default.
• W1947756087 hasRelatedWork W2346914283 @default.
• W1947756087 hasRelatedWork W2748952813 @default.
• W1947756087 hasRelatedWork W315696179 @default.

• next