Matches in SemOpenAlex for { <https://semopenalex.org/work/W1875211736> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W1875211736 endingPage "255" @default.
- W1875211736 startingPage "235" @default.
- W1875211736 abstract "This essay considers the special character of mathematical reasoning, and draws on observations from interactive theorem proving and the history of mathematics to clarify the nature of formal and informal mathematical language. It proposes that we view mathematics as a system of conventions and norms that is designed to help us make sense of the world and reason efficiently. Like any designed system, it can perform well or poorly, and the philosophy of mathematics has a role to play in helping us understand the general principles by which it serves its purposes well." @default.
- W1875211736 created "2016-06-24" @default.
- W1875211736 creator A5003483051 @default.
- W1875211736 date "2015-01-01" @default.
- W1875211736 modified "2023-09-25" @default.
- W1875211736 title "Mathematics and language" @default.
- W1875211736 doi "https://doi.org/10.1007/978-3-319-21473-3_12" @default.
- W1875211736 hasPublicationYear "2015" @default.
- W1875211736 type Work @default.
- W1875211736 sameAs 1875211736 @default.
- W1875211736 citedByCount "3" @default.
- W1875211736 countsByYear W18752117362015 @default.
- W1875211736 countsByYear W18752117362017 @default.
- W1875211736 crossrefType "book-chapter" @default.
- W1875211736 hasAuthorship W1875211736A5003483051 @default.
- W1875211736 hasBestOaLocation W18752117362 @default.
- W1875211736 hasConcept C102315432 @default.
- W1875211736 hasConcept C111472728 @default.
- W1875211736 hasConcept C118840557 @default.
- W1875211736 hasConcept C138885662 @default.
- W1875211736 hasConcept C145420912 @default.
- W1875211736 hasConcept C172347087 @default.
- W1875211736 hasConcept C199360897 @default.
- W1875211736 hasConcept C2524010 @default.
- W1875211736 hasConcept C2780506305 @default.
- W1875211736 hasConcept C2780861071 @default.
- W1875211736 hasConcept C30759668 @default.
- W1875211736 hasConcept C33923547 @default.
- W1875211736 hasConcept C40238689 @default.
- W1875211736 hasConcept C41008148 @default.
- W1875211736 hasConcept C47070236 @default.
- W1875211736 hasConceptScore W1875211736C102315432 @default.
- W1875211736 hasConceptScore W1875211736C111472728 @default.
- W1875211736 hasConceptScore W1875211736C118840557 @default.
- W1875211736 hasConceptScore W1875211736C138885662 @default.
- W1875211736 hasConceptScore W1875211736C145420912 @default.
- W1875211736 hasConceptScore W1875211736C172347087 @default.
- W1875211736 hasConceptScore W1875211736C199360897 @default.
- W1875211736 hasConceptScore W1875211736C2524010 @default.
- W1875211736 hasConceptScore W1875211736C2780506305 @default.
- W1875211736 hasConceptScore W1875211736C2780861071 @default.
- W1875211736 hasConceptScore W1875211736C30759668 @default.
- W1875211736 hasConceptScore W1875211736C33923547 @default.
- W1875211736 hasConceptScore W1875211736C40238689 @default.
- W1875211736 hasConceptScore W1875211736C41008148 @default.
- W1875211736 hasConceptScore W1875211736C47070236 @default.
- W1875211736 hasLocation W18752117361 @default.
- W1875211736 hasLocation W18752117362 @default.
- W1875211736 hasLocation W18752117363 @default.
- W1875211736 hasOpenAccess W1875211736 @default.
- W1875211736 hasPrimaryLocation W18752117361 @default.
- W1875211736 hasRelatedWork W167616931 @default.
- W1875211736 hasRelatedWork W1995512644 @default.
- W1875211736 hasRelatedWork W2030294794 @default.
- W1875211736 hasRelatedWork W2119235457 @default.
- W1875211736 hasRelatedWork W2125826563 @default.
- W1875211736 hasRelatedWork W2378229531 @default.
- W1875211736 hasRelatedWork W4210259961 @default.
- W1875211736 hasRelatedWork W4301355102 @default.
- W1875211736 hasRelatedWork W572508050 @default.
- W1875211736 hasRelatedWork W593348756 @default.
- W1875211736 isParatext "false" @default.
- W1875211736 isRetracted "false" @default.
- W1875211736 magId "1875211736" @default.
- W1875211736 workType "book-chapter" @default.