FRINK Linked Data Fragments server

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

• W2165546563 endingPage "320" @default.
• W2165546563 startingPage "291" @default.
• W2165546563 abstract "In a recent article, Azzouni has argued in favor of a version of formalism according to which ordinary mathematical proofs indicate mechanically checkable derivations. This is taken to account for the quasi-universal agreement among mathematicians on the validity of their proofs. Here, the author subjects these claims to a critical examination, recalls the technical details about formalization and mechanical checking of proofs, and illustrates the main argument with aanalysis of examples. In the author's view, much of mathematical reasoning presents genuine meaning-dependent mathematical characteristics that cannot be captured by formal calculi. ‘…there is a conflict between mathematical practice and the formalist doctrine.’ [Kreisel, 1969, p. 39]" @default.
• W2165546563 created "2016-06-24" @default.
• W2165546563 creator A5006982991 @default.
• W2165546563 date "2007-03-12" @default.
• W2165546563 modified "2023-09-25" @default.
• W2165546563 title "A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices" @default.
• W2165546563 cites W1538143337 @default.
• W2165546563 cites W1561578951 @default.
• W2165546563 cites W1892222377 @default.
• W2165546563 cites W1964477621 @default.
• W2165546563 cites W1978701263 @default.
• W2165546563 cites W1989643754 @default.
• W2165546563 cites W1991614704 @default.
• W2165546563 cites W2005015868 @default.
• W2165546563 cites W2008951566 @default.
• W2165546563 cites W2015146111 @default.
• W2165546563 cites W2015802534 @default.
• W2165546563 cites W2020606208 @default.
• W2165546563 cites W2028007266 @default.
• W2165546563 cites W2033558271 @default.
• W2165546563 cites W2039160461 @default.
• W2165546563 cites W2088355942 @default.
• W2165546563 cites W2154140636 @default.
• W2165546563 cites W2158496755 @default.
• W2165546563 cites W2160037176 @default.
• W2165546563 cites W2312838618 @default.
• W2165546563 cites W2320543258 @default.
• W2165546563 cites W2329026857 @default.
• W2165546563 cites W2382189349 @default.
• W2165546563 doi "https://doi.org/10.1093/philmat/nkm023" @default.
• W2165546563 hasPublicationYear "2007" @default.
• W2165546563 type Work @default.
• W2165546563 sameAs 2165546563 @default.
• W2165546563 citedByCount "64" @default.
• W2165546563 countsByYear W21655465632012 @default.
• W2165546563 countsByYear W21655465632013 @default.
• W2165546563 countsByYear W21655465632014 @default.
• W2165546563 countsByYear W21655465632015 @default.
• W2165546563 countsByYear W21655465632016 @default.
• W2165546563 countsByYear W21655465632017 @default.
• W2165546563 countsByYear W21655465632018 @default.
• W2165546563 countsByYear W21655465632019 @default.
• W2165546563 countsByYear W21655465632020 @default.
• W2165546563 countsByYear W21655465632021 @default.
• W2165546563 countsByYear W21655465632022 @default.
• W2165546563 countsByYear W21655465632023 @default.
• W2165546563 crossrefType "journal-article" @default.
• W2165546563 hasAuthorship W2165546563A5006982991 @default.
• W2165546563 hasConcept C108710211 @default.
• W2165546563 hasConcept C111472728 @default.
• W2165546563 hasConcept C124952713 @default.
• W2165546563 hasConcept C138885662 @default.
• W2165546563 hasConcept C142362112 @default.
• W2165546563 hasConcept C185592680 @default.
• W2165546563 hasConcept C199343813 @default.
• W2165546563 hasConcept C2524010 @default.
• W2165546563 hasConcept C27206212 @default.
• W2165546563 hasConcept C2776211767 @default.
• W2165546563 hasConcept C2777686260 @default.
• W2165546563 hasConcept C2780506305 @default.
• W2165546563 hasConcept C2780876879 @default.
• W2165546563 hasConcept C33923547 @default.
• W2165546563 hasConcept C41008148 @default.
• W2165546563 hasConcept C55493867 @default.
• W2165546563 hasConcept C558565934 @default.
• W2165546563 hasConcept C71924100 @default.
• W2165546563 hasConcept C73301696 @default.
• W2165546563 hasConcept C98184364 @default.
• W2165546563 hasConceptScore W2165546563C108710211 @default.
• W2165546563 hasConceptScore W2165546563C111472728 @default.
• W2165546563 hasConceptScore W2165546563C124952713 @default.
• W2165546563 hasConceptScore W2165546563C138885662 @default.
• W2165546563 hasConceptScore W2165546563C142362112 @default.
• W2165546563 hasConceptScore W2165546563C185592680 @default.
• W2165546563 hasConceptScore W2165546563C199343813 @default.
• W2165546563 hasConceptScore W2165546563C2524010 @default.
• W2165546563 hasConceptScore W2165546563C27206212 @default.
• W2165546563 hasConceptScore W2165546563C2776211767 @default.
• W2165546563 hasConceptScore W2165546563C2777686260 @default.
• W2165546563 hasConceptScore W2165546563C2780506305 @default.
• W2165546563 hasConceptScore W2165546563C2780876879 @default.
• W2165546563 hasConceptScore W2165546563C33923547 @default.
• W2165546563 hasConceptScore W2165546563C41008148 @default.
• W2165546563 hasConceptScore W2165546563C55493867 @default.
• W2165546563 hasConceptScore W2165546563C558565934 @default.
• W2165546563 hasConceptScore W2165546563C71924100 @default.
• W2165546563 hasConceptScore W2165546563C73301696 @default.
• W2165546563 hasConceptScore W2165546563C98184364 @default.
• W2165546563 hasIssue "3" @default.
• W2165546563 hasLocation W21655465631 @default.
• W2165546563 hasOpenAccess W2165546563 @default.
• W2165546563 hasPrimaryLocation W21655465631 @default.
• W2165546563 hasRelatedWork W2089801293 @default.
• W2165546563 hasRelatedWork W2108611755 @default.
• W2165546563 hasRelatedWork W2141014878 @default.
• W2165546563 hasRelatedWork W2346914283 @default.
• W2165546563 hasRelatedWork W2594417113 @default.
• W2165546563 hasRelatedWork W2748952813 @default.

• next