FRINK Linked Data Fragments server

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

• W2045360140 endingPage "388" @default.
• W2045360140 startingPage "385" @default.
• W2045360140 abstract "The publication of Errett Bishop's Foundations of Constructive Analysis presented the working mathematician with a viable alternative to the prevailing interpretation of mathematical statements. The interpretation suggested by Bishop is not wholly new; many of the ideas go back to L. E. J. Brouwer in the early part of this century, and have been refined and embellished by the Dutch intuitionists. But these ideas were never presented in a manner that was convincing to the average mathematician. Their exposition was often accompanied by an implication that classical mathematics was at best built on insecure foundations, if not outright false. The call was for salvage operations, and the recommended action included forbidding the use of widely accepted arguments. People who felt perfectly comfortable with the mathematics they were doing were unimpressed by these appeals. They saw no reason to sacrifice their powerful mathematical tools and theories on the altar of some crackpot notion of legitimacy. Bishop showed that one could adopt a thoroughgoing constructive point of view and still do mathematics as it is usually understood. He did this by appropriating standard mathematical symbolism to carry constructive meaning, rather than introducing a specialized notation, and by developing large areas of rather sophisticated mathematics in a constructive manner. His book can be appreciated by mathematicians unfamiliar with logic or recursive function theory, and avoids the more bizarre intuitionistic notions of choice sequence and bar induction. But Bishop-style constructivists also tend to be polemical, and they are met with some of the same hostility and indifference that Brouwer was. Possibly this situation will improve as the constructivists master their trade and as the revolution in mathematical consciousness, brought about by the advent of the high-speed digital computer, spreads. In the meantime it seems appropriate to try to convey to mathematicians, and to those interested in the philosophy of mathematics, some understanding of what constructive mathematics means to its practitioners. In what follows I shall attempt to do this via a case study. Our starting point is the following seemingly trivial theorem:" @default.
• W2045360140 created "2016-06-24" @default.
• W2045360140 creator A5019155790 @default.
• W2045360140 date "1982-06-01" @default.
• W2045360140 modified "2023-10-16" @default.
• W2045360140 title "Meaning and Information in Constructive Mathematics" @default.
• W2045360140 cites W1973842096 @default.
• W2045360140 cites W1989763544 @default.
• W2045360140 doi "https://doi.org/10.1080/00029890.1982.11995460" @default.
• W2045360140 hasPublicationYear "1982" @default.
• W2045360140 type Work @default.
• W2045360140 sameAs 2045360140 @default.
• W2045360140 citedByCount "6" @default.
• W2045360140 countsByYear W20453601402013 @default.
• W2045360140 countsByYear W20453601402021 @default.
• W2045360140 crossrefType "journal-article" @default.
• W2045360140 hasAuthorship W2045360140A5019155790 @default.
• W2045360140 hasConcept C111472728 @default.
• W2045360140 hasConcept C138885662 @default.
• W2045360140 hasConcept C145420912 @default.
• W2045360140 hasConcept C199343813 @default.
• W2045360140 hasConcept C199360897 @default.
• W2045360140 hasConcept C2777686260 @default.
• W2045360140 hasConcept C2778701210 @default.
• W2045360140 hasConcept C2780876879 @default.
• W2045360140 hasConcept C33923547 @default.
• W2045360140 hasConcept C41008148 @default.
• W2045360140 hasConcept C71924100 @default.
• W2045360140 hasConcept C98045186 @default.
• W2045360140 hasConceptScore W2045360140C111472728 @default.
• W2045360140 hasConceptScore W2045360140C138885662 @default.
• W2045360140 hasConceptScore W2045360140C145420912 @default.
• W2045360140 hasConceptScore W2045360140C199343813 @default.
• W2045360140 hasConceptScore W2045360140C199360897 @default.
• W2045360140 hasConceptScore W2045360140C2777686260 @default.
• W2045360140 hasConceptScore W2045360140C2778701210 @default.
• W2045360140 hasConceptScore W2045360140C2780876879 @default.
• W2045360140 hasConceptScore W2045360140C33923547 @default.
• W2045360140 hasConceptScore W2045360140C41008148 @default.
• W2045360140 hasConceptScore W2045360140C71924100 @default.
• W2045360140 hasConceptScore W2045360140C98045186 @default.
• W2045360140 hasIssue "6" @default.
• W2045360140 hasLocation W20453601401 @default.
• W2045360140 hasOpenAccess W2045360140 @default.
• W2045360140 hasPrimaryLocation W20453601401 @default.
• W2045360140 hasRelatedWork W1561794529 @default.
• W2045360140 hasRelatedWork W2075360275 @default.
• W2045360140 hasRelatedWork W2086002592 @default.
• W2045360140 hasRelatedWork W2351451554 @default.
• W2045360140 hasRelatedWork W2372561981 @default.
• W2045360140 hasRelatedWork W2800549968 @default.
• W2045360140 hasRelatedWork W2945841472 @default.
• W2045360140 hasRelatedWork W3037547490 @default.
• W2045360140 hasRelatedWork W176002655 @default.
• W2045360140 hasRelatedWork W2097314548 @default.
• W2045360140 hasVolume "89" @default.
• W2045360140 isParatext "false" @default.
• W2045360140 isRetracted "false" @default.
• W2045360140 magId "2045360140" @default.
• W2045360140 workType "article" @default.